André, É., Liu, Y., Sun, J., Dong, J., Lin, S., & LABORATORIES, T. (2014). PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems.

André, É., Y. Liu, J. Sun, J.S Dong, S.-W Lin, و TEMASEK LABORATORIES. PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-time Systems. 2014.

André, É., et al. PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-time Systems. 2014.