Michael K. Lindsey. Automatic test procedure generation from system specifications. In Proceedings of the Third International Workshop on Rapid System Prototyping, RSP 1992, Research Triangle Park, North Carolina, USA, June 23-15, 1992. pages 301-310, IEEE, 1992. [doi]