David H. Akehurst Martin Gogolla Steffen Zschaler 2008 9 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/106/94 db/journals/eceasst/eceasst9.html#AkehurstGZ08