J. Ruiz and C. Comar, “Open-DO: Open Framework for Critical Systems”, ECEASST, vol. 20, Nov. 2009.