Using SPIN and STeP to verify business processes specifications

Authors

J. Augusto, Michael Butler, Carla Ferreira,