Paulo Maciel graduated in Electronic Engineering in 1987, and received his MSc and PhD degrees in Electronic Engineering and Computer Science from Univesidade Federal de Pernambuco, respectively. He was faculty member of the Electric Engineering Department of Universidade de Pernambuco from 1989 to 2003. Since 2001 he has been a member of the Informatics Center of Universidade Federal de Pernambuco, where he is currently Associate Professor. He is member of the Brazilian research council (CNPq), IEEE member, and has acted as consultant and coordinator of many funded research projects. His research interests include performance and dependability evaluation, Petri nets, formal models, and embedded systems.