Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige. Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 117-126, IEEE Computer Society, 2011. [doi]
Abstract is missing.