https://5dok.net/document/z3djov3e-proceedings-formal-methods-doctoral-symposium-november-eindhoven-netherlands.html