Return to Article Details Open-DO: Open Framework for Critical Systems Download Download PDF