1. Standard Practice for Design of Amusement Rides and Devices;ASTM,2017
2. Boyette, C. (2017). 24 stuck on Six Flags roller coaster in Maryland. URL http://www.cnn.com/2017/04/13/us/maryland-six-flags-roller-coaster-riders-stuck/index.html. Accessed 2018-4-25.
3. CBC News (1986). Roller-coaster derailment kills 3 in Edmonton. URL http://www.cbc.ca/news/canada/edmonton/june-14-1986-roller-coaster-derailment-kills-3-in-edmonton-1.3639209
4. Flow*: An Analyzer for Non-linear Hybrid Systems;Chen,2013
5. Frehse, G. Guernic, C.L. Donzé, A. Cotton, S. Ray, R. Lebeltel, O. Ripado, R. Girard, A. Dang, T. and Maler, O. (2011). SpaceEx: Scalable verification of hybrid systems. In CAV 2011, volume 6806 of LNCS.