Using the extensible model checker xtl to verify stac business specifications

Authors

J. Augusto, Michael Leuschel, Michael Butler, Carla Ferreira,