TY  - RPRT
TI  - Plant model generation from event log using ProM for formal verification of CPS
AU  - Midhun Xavier
AU  - Victor Dubinin
AU  - Sandeep Patil
AU  - Valeriy Vyatkin
PY  - 2022
UR  - https://arxiv.org/abs/2211.03681
ID  - 2211.03681
ER  -