@inproceedings{SG5,
title = { Timing Verification of an Aerial Video Tracking System Using UPPAAL },
author = {Shan, Lijun and Graf, Susanne},
year = {2015},
booktitle = {Formal Methods for Timing Verification Challenge at WATERS 2015},
volume = {part of ECRTS 2015, Lund},
team = {SYNC},
}