Publications
_10 Ana Cavalcanti, Wen-ling Huang, Jan Peleska, and Jim Woodcock. CSP and Kripke structures. In Martin Leucker, Camilo Rueda, and Frank D. Valencia, editors, Theoretical Aspects of Computing - ICTAC 2015 [...] interpretation, verification and testing of C/C++ modules. In Dennis R. Dams, Ulrich Hannemann, and Martin Steffen, editors, Correctness, Concurrency and Compositionality – Festschrift for Willem-Paul de Roever [...] HybridUML and its Application to Train Control Systems. In Hartmut Ehrig, Werner Damm, J¨org Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westk¨amper, editors, SoftSpez Final