. "integrierter formaler Ansatz für die industrielle Software-Entwicklung"@de . . "3"^^ . . . . . .