Roman Obermaisser Formal Specification of Gateways in Integrated Architectures. 34-45 2008 SEUS http://dx.doi.org/10.1007/978-3-540-87785-1_4 conf/seus/2008 db/conf/seus/seus2008.html#Obermaisser08