Emil Vassev Mike Hinchey Developing Model-Checking Mechanisms for ASSL: An Experience Report. 19-34 2011 SEFM http://dx.doi.org/10.1007/978-3-642-24690-6_3 conf/sefm/2011 db/conf/sefm/sefm2011.html#VassevH11