Péter Domokos István Majzik Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation. 66-75 2006 conf/arcs/2006w ARCS Workshops db/conf/arcs/arcsw2006.html#DomokosM06