Ko, C.C., Chen, B.M., Jianping, C., Zhuang, Y. and Chen, T. K.
Development of a web-based laboratory for control experiments on a coupled tank apparatus, IEEE Transactions on Education, 2001, 44, (1), pp 76–86.
Okajima, H.S.S., Ledel, L.C.
Fragnito, H.L. and Rocha, H.V.
WebLab development using a Java and Labview integrated solution for Kyatera network, 3rd TIDIA Fapesp Workshop, 15–17 November 2006, Sao Paolo, Brasil, pp 204.
Apostolidis, A., Sampath, S., Laskaridis, P. and Singh, R. WebEngine - A web-based gas turbine performance simulation tool, Proceedings of ASME Turbo Expo 2013 GT2013, Vol. 4, June 3–7, 2013, ASME, New York, New York, US, pp. V004T08A007.
AMT Netherlands, Olympus Manual, Geldrop, 2001, Netherlands.
Software Engineering, 8th ed., 2006, Pearson
A spiral model of software development and enhancement, Computer, 1988, 21, (5), pp 61–72.
Gallina, B. and Guelfi, N.
A template for requirement elicitation of dependable product lines, Sawyer, P., Paech, B. and Heymans, P. (Eds.) Requirements Engineering: Foundation for Software Quality, 2007, Springer, Berlin, Germany, pp 63–77.
Broy, M. Seamless model driven systems engineering based on formal models. In Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering (ICFEM '09), Breitman, K. and Cavalcanti, A. (Eds.). 2009. Springer-Verlag, Berlin, Heidelberg, pp 1–19. doi:http://dx.doi.org/10.1007/978-3-642-10373-5_1.
Hayhurst, K.J., Veerhusen, D.S., Chilenski, J.J. and Rierson, L.K.
NASA/TM-2001-210 - A Practical Tutorial on Modified Condition/Decision Coverage, 2001, NASA, Hampton, Virginia, US.
Hilderman, V. and Baghi, T. Avionics certification: a complete guide to DO-178 (software), DO-254 (hardware), 2007, Avionics Communications, Leesburg, Virginia, US.
Ameur, Y.A., Boniol, F. and Wiels, V.
Toward a wider use of formal methods for aerospace systems design and verification, Int J Software Tools for Technology Transfer, 2010, 12, (1), pp 1–7.
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L. and Schnoebelen, P.
Systems and Software Verification: Model-Checking Techniques and Tools, 1st ed, 2010, Springer Publishing Company, Incorporated, New York, US.
Risk Assessment of Power Systems: Models, Methods, and Applications, 2005, Wiley, Hoboken, New Jersey, US.
Gokhale, S. S. and Trivedi, K.S.
Reliability prediction and sensitivity analysis based on software architecture, Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on, 2002, pp 64.
Clarke, P.J., Power, J.F., Babich, D. and King, T.M., A testing strategy for abstract classes, Software Testing, Verification and Reliability, 2012, 22, (3), pp 147–169.
Probabilistic Safety Assessment in the Chemical and Nuclear Industries, 1999, Butterworth-Heinemann, UK.
Practical Safety and Reliability Assessment, 1996, E & FN Spon, London.
Jaw, L.C. and Mattingly, J.D.
Aircraft engine controls: design, system analysis, and health monitoring, 2009, American Institute of Aeronautics and Astronautics, Reston, US.
The Apache Software Foundation. mod_proxy - Apache HTTP Server, 2016. Available at: http://httpd.apache.org/docs/2.2/mod/mod_proxy.html.
Java EE 6 Development with NetBeans 7, 2011, Packt Publishing, Great Britain.
Probability and Statistics with Reliability, Queuing, and Computer Science Applications, 1982, Prentice-Hall, Englewood Cliffs, New Jersey, US.