@misc{misc4c870ddf,
title   = {Modelagem e verificação de sistemas de automação para segurança residencial},
author = {Munakata, Fernando Eiji and Ichikawa, Helcio Yukio and Miyagi, Paulo Eigi},
year = {2005}
}