Pietro Colombo Vieri Del Bianco Luigi Lavazza Alberto Coen-Porisini A Methodological Framework for SysML: a Problem Frames-based Approach. 25-32 2007 conf/apsec/2007 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.9 db/conf/apsec/apsec2007.html#ColomboBLC07