Strategies for automated specification-based testing of synchronous software | IEEE Conference Publication | IEEE Xplore