Vacuity aware falsification for MTL request-response specifications | IEEE Conference Publication | IEEE Xplore