Julien d'Orso: New Directions in Symbolic Model Checking. Uppsala University, Sweden 2003