Using Modechart modules for testing formal specifications | IEEE Conference Publication | IEEE Xplore