توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Abate, A., Katoen, J., Lygeros, J., & Prandini, M. (2010). Approximate Model Checking of Stochastic Hybrid Systems.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Abate, A., J. Katoen, J. Lygeros, و M. Prandini. Approximate Model Checking of Stochastic Hybrid Systems. 2010.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Abate, A., et al. Approximate Model Checking of Stochastic Hybrid Systems. 2010.