Springer Philosophy, 27 Aug 2016 #OA article frm Studia Logica! Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking http://ow.ly/WUV…