Issue No. 05 - September/October (2001 vol. 21)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/40.958699
Embedded complex systems require an integrated and best-balanced set of components. To use these components requires some sort of verifiable compositionality, a concept that implies the preservation of properties and the ability to verify them.
Luca Simoncini, Diego Latella, Alessandro Fantechi, Andrea Bondavalli, "Design Validation of Embedded Dependable Systems", IEEE Micro, vol. 21, no. , pp. 52-62, September/October 2001, doi:10.1109/40.958699