Component-based analysis of embedded control applications

Christo Angelov, Wei Guan, Nicolae Marian, Feng Zhou, Krzysztof Sierszecki, Søren Top. Component-based analysis of embedded control applications. ISSE, 8(1):79-92, 2012. [doi]

Abstract

Abstract is missing.