https://123dok.net/document/qo33n5kq-formal-devs-modelling-simulation-relocation-method-interrupting-production.html