Cunha A.? 2014.??Bounded Model Checking of Temporal Formulas with Alloy. Lecture Note in Computer Science. 8477