@ARTICLE{
author={Vjestica Marko,Dimitrieski Vladimir,Pisaric Milan,Kordic Slavica,Ristic Sonja M,Lukovic Ivan S},
year={2021},
title={Towards a Formal Specification of Production Processes Suitable for Automatic Execution},
journal={OPEN COMPUTER SCIENCE},
volume={11},
number={1},
pages={161-179},
document_type={Article},
}