A parametric model checking approach for real-time systems design | IEEE Conference Publication | IEEE Xplore