1. Vasu Alagar and Mubarak Mohammad. A Component Model for Trustworthy Real-Time Re-active Systems Development. In Proceedings of the 4th International Workshop on Formal Aspects of Component Systems (FACS’07), September 19 - 21, 2007. Sophia-Atipolis, France.
2. Vasu Alagar and Mubarak Mohammad. Specification and Verification of Trustworthy Component-Based Real-Time Reactive Systems. In Proceedings of the Specification and Ver-ification of Component-Based Systems Workshop (SAVCBS’07), September 03 - 04, 2007, Dubrovnik, Croatia. (ACM Portal http://portal.acm.org/citation.cfm?id=1292316.1292327 & coll=GUIDE & dl=)
3. V.S. Alagar, J. Paquet, K. Wan. Intensional Programming for Agent Communication. Proceed-ings of the 2nd International Workshop on Declarative Agent Languages and Technologies (DALT) 2004, New York, U.S.A., June 2004, LNAI Springer-Verlag, Vol. 3476, Page 239-255. ISBN: 3-540-26172-9.
4. R. Carnap. Meaning and Necessity. Chicago University Press, 1947. Enlarged Edition 1956.
5. Marco Carbone, Mogens Nielsen, and Vladimiro Sassone. A formal model for trust in dynamic networks. Research Series RS-03-04, BRICS, Department of Computer Science, University of Aarhus, January 2003, EU Project SECURE IST-2001-32486 Deliverable 1.1.