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 [...] 91:188–215, 2014 Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, and Linh Vu Hong. Complete model-based equivalence class testing for the ETCS ceiling speed [...] Braunschweig, September 2014. ISBN 978-3-9816886-6-5 Gustavo Carvalho, Flávia Barros, Florian Lapschies, Uwe Schulze, and Jan Peleska. Modelbased testing from controlled natural language requirements. In Cyrille