Ethan K. Jackson, Janos Sztipanovits. Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality. In 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany. pages 164-176, IEEE Computer Society, 2006. [doi]
Abstract is missing.