https://5dok.net/document/eqow1p7y-checking-the-correspondence-between-uml-models-and-implementation.html