Model-Checker-Based Testing of LTL Specifications | IEEE Conference Publication | IEEE Xplore