1. Increasing reliability in the development of intelligent environments;Augusto,2009
2. A new architecture for smart homes based on adb and temporal reasoning;Augusto,2005
3. Systems and Software Verification (Model Checking Techniques and Tools). ObjecTime Technical Report;Berard,1999
4. Balogh, A., Pataricza, A., Pintér, G., Sisak, Á., Anastasopoulos, M., Lee, J., 2007. Model-driven specification, analysis, and realization of assisted living systems. In: Proceedings of RECEAS.
5. Benghazi, K., 2009. MEDISTAM-RT: Metodología de Diseño y Análisis de Sistemas de Tiempo-Real. PhD Thesis. University of Granada.