Critical Systems Development with UML: Overview with Automatic Case Study.

Jan Jrjens, Johannes Grnbauer

Browse the full SNPD paper archive.