Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL | IEEE Journals & Magazine | IEEE Xplore