PESSOA: A Tool for Embedded Controller Synthesis. - Manuel Mazo Jr. 002; Anna Davitian; Paulo Tabuada (CAV, 2010)