Integrating Model-Checking with UML-based SoC Development. - Peter Green; Kinika Tasie-Amadi (FDL, 2005)

Checking for Consistency between Different UML Models. - Peter Green; Kinika Tasie-Amadi (IASTED Conf. on Software Engineering, 2005)