Extending ITL with Interleaved Programs for Interactive Verification | IEEE Conference Publication | IEEE Xplore