An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software | IEEE Conference Publication | IEEE Xplore