1. McCabe, T.J.: A complexity Measure. IEEE Transactions on Software Engineering 2(4), 308–320 (1976)
2. Hoel, P.G.: Introduction to Mathematical Statistics. Wiley, California (1966)
3. Barbosa, V.C., Ferreira, F.M.L., Kling, D.V., Lopes, E., Protti, F., Schmitz, E.A.: Structured Construction and Simulation of Nondeterministic Stochastic Activity Networks. European Journal of Operational Research 198(1), 266–274 (2009)
4. Goldberg, E., Novikov, Y.: Berkmin: A Fast and Robust Satsolver. In: Conference on Design, Automation and Test in Europe, Washington, USA, pp. 142–149 (April 2002)
5. Callahan, J., Schneider, F., Easterbrook, S.: Automated Software Testing using Model-checking. In: Proceedings 1996 SPIN Workshop, Vienna, Austria (August 1996)