@inproceedings{Boehm2014, author = {B{\"{o}}hm, Wolfgang and Junker, Maximilian and Vogelsang, Andreas and Teufl, Sabine and Pinger, Ralf and Rahn, Karsten}, title = {A Formal Systems Engineering Approach in Practice: An Experience Report}, booktitle = {SER\&IPs}, pages = {34--41}, year = {2014}, timestamp = 2014.03.10, owner = {teufl}, }