Средства и методы разработки

Вообще всему своё место... вот первая найденная ссылка там чётко указано

Строгая типизация и структурированность языка Модула позволили реализовать в этой системе средства автоматизированной оценки полноты тестирования компонент по критериям С1 и С, существенно повысив гарантию их качества, а также удобные средства диалоговой и пакетной отладки в терминах языка Модула-2.

Отчего бы нет. Не не может подвергаться сомнению утверждение, что за эту надёжность приходится чем-то платить. Где скоростью разработки, где простотой кода и т.п.