Egidio Astesiano Gianna Reggio Towards a Well-Founded UML-Based Development Method. 102- 2003 conf/sefm/2003 SEFM http://csdl.computer.org/comp/proceedings/sefm/2003/1949/00/19490102abs.htm db/conf/sefm/sefm2003.html#AstesianoR03