Model Checking - Ferreira, Ana Paula Ludtke (2011 Workshop-School on Theoretical Computer Science, Theoretical Computer Science (WEIT), 2011 Workshop-School on, 2011)