"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