Wolfgang Böhm, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger, Karsten Rahn. A formal systems engineering approach in practice: an experience report. In Rakesh Shukla, Anjaneyulu Pasala, Srinivas Padmanabhuni, editors, 1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014. pages 34-41, ACM, 2014. [doi]
Abstract is missing.