Parameter synthesis for hierarchical concurrent real-time systems

Étienne André, Yang Liu, Jun Sun, Jin-Song Dong
2014 Real-time systems  
doi:10.1007/s11241-014-9208-6 fatcat:eoy4m3ga65eergp6mp32v2iz4m