@ARTICLE{
author={Popovic Ivana,Vrtunski Vladislav,Popovic Miroslav V},
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,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,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},
}