Model-Based Software Engineering and Certification: Some Open Issues.

Stefano Russo, Fabio Scippacercola

Browse the full ISSRE paper archive.