Execution of TILCO temporal logic specifications