Talk:Metric interval temporal logic