Metric interval temporal logic specification elicitation and debugging | IEEE Conference Publication | IEEE Xplore