A. Simões, N. Carvalho, and J. Almeida, “Testing as a Certification Approach”, ECEASST, vol. 33, Dec. 2010.