Manfred Broy Michelle L. Crane Jürgen Dingel Alan Hartman Bernhard Rumpe Bran Selic 318-323 2006 conf/models/2006w MoDELS (Workshops) https://doi.org/10.1007/978-3-540-69489-2_39 db/conf/models/models2006w.html#BroyCDHRS06