Model-Based Software Engineering and Certification: Some Open Issues | IEEE Conference Publication | IEEE Xplore