A formal systems engineering approach in practice: an experience report. - Wolfgang Böhm 002; Maximilian Junker; Andreas Vogelsang; Sabine Teufl; Ralf Pinger; Karsten Rahn (SER&IPs, 2014)