Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets. - Sine Viesmose Birch; Thomas Stig Jacobsen; Jacob Jon Jensen; Christoffer Moesgaard; Niels Nørgaard Samuelsen; Jirí Srba (FORMATS, 2014)