@ARTICLE{
author={Popovic Ivana|,Vrtunski Vladislav|,Popovic Miroslav V|0000-0001-8385-149X},
year={2011},
title={Formal Verification of Distributed Transaction Management in a SOA Based Control System},
journal={18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011)},
volume={},
number={},
pages={206-215},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Basicevic Ilija V|,Jovanovic Sabina|,Drapsin Branislav|,Popovic Miroslav V|0000-0001-8385-149X,Vrtunski Vladislav|},
year={2009},
title={An Approach to Parallelization of Legacy Software},
journal={2009 1ST IEEE EASTERN EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS},
volume={},
number={},
pages={42-48},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V|0000-0001-8385-149X,Basicevic Ilija V|,Vrtunski Vladislav|},
year={2009},
title={A Task Tree Executor: New Runtime for Parallelized Legacy Software},
journal={16TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS},
volume={},
number={},
pages={41-47},
document_type={Proceedings Paper},
}