BibTex format
@inproceedings{Anastasiou:2013:10.1145/2479871.2479931,
author = {Anastasiou, N and Knottenbelt, WJ},
doi = {10.1145/2479871.2479931},
pages = {375--386},
publisher = {ACM},
title = {Deriving Coloured Generalised Stochastic Petri Net Performance Models from High-Precision Location Tracking Data},
url = {http://dx.doi.org/10.1145/2479871.2479931},
year = {2013}
}