Matthew Hause, Andrew Stuart, David Richards, Jon Holt. Testing Safety Critical Systems with SysML/UML. In Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska, editors, 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. pages 325-330, IEEE Computer Society, 2010. [doi]
Abstract is missing.