Luciano Lavagno Marco Di Natale Alberto Ferrari Paolo Giusto SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. 150-162 https://doi.org/10.1007/978-3-540-31797-5_16 2004 conf/uml/2004ml UML Satellite Activities db/conf/uml/ml2004.html#LavagnoNFG04