An architectural approach to the analysis, verification and validation of software intensive embedded systems

De-Jiu Chen, Lei Feng, Tahir Naseer Qureshi, Henrik Lönn, Frank Hagl. An architectural approach to the analysis, verification and validation of software intensive embedded systems. Computing, 95(8):649-688, 2013. [doi]

Abstract

Abstract is missing.