314 followers Model Transformation @ModelTransform MDE-Based Verification of SysML State Machine Diagram by UPPAAL http://t.co/sfpk2j5WfW #springerlink 20 Sep 2013 Reply Repost Favourite