@ARTICLE{
author={Netjasov Fedja T,Vidosavljevic Andrija,Tosic Vojin,Everdij Mariken HC,Blom Henk AP},
year={2013},
title={Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes},
journal={TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES},
volume={33},
number={},
pages={167-195},
document_type={Article},
}