Verification of real time controllers against timing diagram specifications using constraint logic programming | IEEE Conference Publication | IEEE Xplore