1. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Bartocci, E., Bortolussi, L., Sanguinetti, G.: Learning temporal logical properties discriminating ECG models of cardiac arrhytmias. CoRR abs/1312.7523 (2013)
3. Bernardo, J., Smith, A.: Bayesian Theory. Wiley, Chichester (1994)
4. Lecture Notes in Computer Science;L Bortolussi,2013
5. Lecture Notes in Computer Science;L Brim,2013