Brazilian Symposium on Formal Methods 14th Brazilian Symposium on Formal Methods: Short Papers Adenilso Simão and Carroll Morgan (Organizers) ICMC/USP São Carlos, SP 2011 ISBN: 978-85-87837-21-9