Jimin Gao Mats Per Erik Heimdahl David Owen Tim Menzies On the Distribution of Property Violations in Formal Models: An Initial Study. 150-160 2006 conf/compsac/2006 COMPSAC (1) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.64 db/conf/compsac/compsac2006-1.html#GaoHOM06