Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models - Triki, Ahlem; Bonakdarpour, Borzoo; Combaz, Jacques; Bensalem, Saddek (NASA Formal Methods, 2015)
Keywords: Abstract Model; Atomic Component; Interaction Protocol; Label Transition System; Timing Constraint