publication venue for Vertical System Functions 2010 Model-Driven Design of Interoperable Agents 2010