"Model checker execution reports" (2017) Castano, R.;Braberman, V.;Garbervetsky, D. (
...)College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software Engineering 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017:200-205