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