A Virtual Environment for Collaborative Engineering with Formal Verification. - Wolfgang Herget; Christopher Krauß; Andreas Nonnengart; Torsten Spieldenner; Stefan Warwas; Ingo Zinnikus (CE, 2013)