On-the-fly automata construction for dynamic linear time temporal logic | IEEE Conference Publication | IEEE Xplore