Abrial, J.-R.2022-03-022022-03-0219963-540-61929-1https://publica.fraunhofer.de/handle/publica/132556Formal methods for industrial applications