Model Checking Embedded Systems with PROMELA. - Óscar R. Ribeiro; João M. Fernandes 001; Luís F. Pinto (ECBS, 2005)