M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
M. zur Muehlen, M. Indulska, and G. Kamp. EDOCW '07: Proceedings of the 2007 Eleventh International IEEE EDOC Conference Workshop, page 189--196. Washington, DC, USA, IEEE Computer Society, (2007)