Media type: E-Article Title: Design verification in model-based μ-controller development using an abstract component Contributor: Choi, Yunja; Bunse, Christian imprint: Springer Science and Business Media LLC, 2011 Published in: Software & Systems Modeling Language: English DOI: 10.1007/s10270-010-0147-y ISSN: 1619-1366; 1619-1374 Keywords: Modeling and Simulation ; Software Origination: Footnote: