An overview of Lutess a specification-based tool for testing synchronous software | IEEE Conference Publication | IEEE Xplore