Specification Construction Using Behaviours, Equivalences, and SMT Solvers. - Paul C. Attie; Fadi A. Zaraket; Mohamad Noureddine; Farah El-Hariri (CoRR, 2013)