Towards the Integration of SysML and Problem Frames. - Colombo, Pietro; del Bianco, Vieri; Lavazza, Luigi (ICSE: International Conference on Software Engineering, 2008)