Manfred Broy Verifying of interface assertions for infinite state Mealy machines. 1298-1322 2014 80 J. Comput. Syst. Sci. 7 https://doi.org/10.1016/j.jcss.2014.03.002 db/journals/jcss/jcss80.html#Broy14