Return to Article Details A maintainable and iterative development approach of critical systems with FoCaLiZe Download Download PDF