Formal verification of an automotive scenario in service-oriented computing

Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti
2008 Proceedings of the 13th international conference on Software engineering - ICSE '08  
doi:10.1145/1368088.1368173 dblp:conf/icse/BeekGKM08 fatcat:7j3lce6zsjat7afli5wxv7dbla