Common criteria compliant software development (CC-CASD)
UML4PF — A tool for problem-oriented requirements analysis