An in-depth investigation of interval temporal logic model checking with regular expressions