Animation-based validation of reactive software systems using behavioural models - Ribeiro, Óscar R. (2009)
Tese de doutoramento em Informática