1. Ben-Abdallah, H., Choi, J.-Y., Clarke, D., Kim, Y.S., Lee, I., Xie, H.-L.: A process algebraic approach to the schedulability analysis of real-time systems. Real-Time Syst. 15, 189–219 (1998). doi: 10.1023/A:1008047130023
2. Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol. 1579, pp. 193–207. Springer, Berlin (1999)
3. Bulychev, P.E., David, A., Larsen, K.G., Legay, A., Mikučionis, M., Poulsen, D.B.: Checking and distributing statistical model checking. NASA Formal Methods. Lecture Notes in Computer Science, vol. 7226, pp. 449–463. Springer, Berlin (2012)
4. Bradley, S., Henderson, W., Kendall, D.: Using timed automata for response time analysis of distributed real-time systems. In: Systems, 24th IFAC/IFIP Workshop on Real-Time Programming WRTP 99, pp. 143–148 (1999)
5. Bohnenkamp, H.C., Hermanns, H., Klaren, R., Mader, A., Usenko, Y.S.: Synthesis and stochastic assessment of schedules for lacquer production. In: First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. pp. 28–37 (2004)