Maurice H. ter Beek Stefania Gnesi Nora Koch Franco Mazzanti Formal verification of an automotive scenario in service-oriented computing. 613-622 2008 ICSE http://doi.acm.org/10.1145/1368088.1368173 conf/icse/2008 db/conf/icse/icse2008.html#BeekGKM08