1. Alagar, V., Mohammad, M.: A component model for trustworthy real-time reactive systems development. In: International Workshop on Formal Aspects of Component Software (FACS 2007), Sophia-Antipolis, France (September 2007)
2. Alagar, V., Mohammad, M.: Specification and verification of trustworthy component-based real-time reactive systems. In: SAVCBS 2007, Specification and Verification of Component-Based Systems, Dubrovnik, Croatia (September 2007)
3. Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental concepts of dependability. Research report N01145, LAAS-CNRS (April 2001)
4. Mohammad, M., Alagar, V.: TADL - An Architecture Description Language for Trustworthy Component-Based Systems. Technical Report ACTS-Trust-08-02, Concordia University (July 2008),
http://users.encs.concordia.ca/~ms_moham/tadl.html
5. Schneider, F.B., Bellovin, S.M., Inouye, A.S.: Building trustworthy systems: Lessons from the PTN and internet. IEEE Internet Computing 3(6), 64–72 (1999)