A formal systems engineering approach in practice: an experience report.

Wolfgang Bhm, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger, Karsten Rahn

Browse the full ICSE paper archive.