Gintautas Sulskus Michael Poppleton Abdolbaghi Rezazadeh Modelling Complex Timing Requirements with Refinement. 118-125 2016 IRI https://doi.org/10.1109/IRI.2016.23 https://doi.ieeecomputersociety.org/10.1109/IRI.2016.23 conf/iri/2016 db/conf/iri/iri2016.html#SulskusPR16