Modelling Complex Timing Requirements with Refinement.

Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh

Browse the full IRI paper archive.