Book

Interactive Systems. Design, Specification, and Verification

by Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha