Pedro Mejia-Alvarez received his BSc degree in computer systems from ITESM, Querétaro, Mexico, in 1985, his PhD degree in Informatics from the Polytechnic University of Madrid, Spain, in 1995. He pursued his PostDoc Research at the Computer Science Department of the University of Pittsburgh in 1999-2000. He has been a Professor with the CINVESTAV-Guadalajara since 1997. His research interests include Real-Time Systems, Software Testing and Software Engineering.Ricardo Zavaleta Vazquez received his MsC degree in computer science from CINVESTAV-Guadalajara. He is currently a Software Engineer at ORACLE MDC in Guadalajara, México, His research interests include Databases, Real-Time Systems and Software Testing.Susana Ortega-Cisneros received her BSc degree in communications and electronics from the Universidad de Guadalajara, México, in 1990, the MSc degree from the Center for Research and Advanced Studies (CINVESTAV), México City, México, and the PhD degree in computer science and telecommunications from the Autonomous University of Madrid, Spain. She is currently with CINVESTAV and specializes in the design of digital architectures based on field-programmable gate arrays (FPGAs), DSPs, and microprocessors.Raul E. Gonzalez Torres received his PhD in Mathematics from the University of Houston in 1987. His research interests are Formal Software Verification, Automatic Theorem Proof, Demonstration Theory for non-classical Logics and Applications of Logic in Engineering and Computing.