1. Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Transactions on Software Engineering (TSE) 30(12), 859–872 (2004)
2. IEEE Std 1012 - 2004 IEEE standard for software verificiation and validation. IEEE Std 1012-2004 (Revision of IEEE Std 1012-1998), 1–110 (2005)
3. An EATCS Series;Y. Bertot,2004
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
5. Myers, G.J., Badgett, T., Thomas, T.M., Sandler, C.: The Art of Software Testing, 2nd edn. John Wiley and Sons (2004)