Peter Kelb Tiziana Margaria Michael Mendler Claudia Gsottberger MOSEL: A Sound and Efficient Tool for M2L(Str). 448-451 1997 conf/cav/1997 CAV db/conf/cav/cav97.html#KelbMMG97 http://dx.doi.org/10.1007/3-540-63166-6_45