COMPOSABLE SIMULATION MODELS AND THEIR FORMAL VALIDATION CLAUDIA SZABO B. Eng., “POLITEHNICA” UNIVERSITY OF BUCHAREST, ROMANIA A THESIS SUBMITTED FOR THE DEGREE OF DOCTOR OF PHILOSOPHY DEPARTMENT OF COMPUTER SCIENCE NATIONAL UNIVERSITY OF SINGAPORE 2010