An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software.
Joseph PorterPéter VölgyesiNicholas KottenstetteHarmon NineGabor KarsaiJanos SztipanovitsPublished in: IEEE International Workshop on Rapid System Prototyping (2009)