1. Pattern-oriented Software Architecture: A System of Patterns;Buschmann,1996
2. Clarke, E.M., Emerson, E.A., 1981. Design and synthesis of synchronization skeletons using branching time temporal logic. In: Logic of Programs Workshop.
3. Model Checking;Clarke,1999
4. CMU/SEI, 2009. Pacc (predictable assembly from certifiable components) .
5. Crnkovic, I., 2005. Component-based software engineering for embedded systems. In: ICSE, 2005.