XMILE: An XML Based Approach for Incremental Code Mobility and Update. - Cecilia Mascolo; Luca Zanolin; Wolfgang Emmerich (Autom. Softw. Eng., 2002)

Model Checking Programmable Router Configurations. - Luca Zanolin; Cecilia Mascolo; Wolfgang Emmerich (Graph Transformations and Model-Driven Engineering, 2010)