by Paiva, Ana C. R., Faria, João C. P., Mendes, Pedro M. C.
Published in Formal Methods for Industrial Critical Systems (2008)