@TechReport{HVH07,
author={Tran Thi Bich Hanh and Dang Van Hung},
title={Verification of an Air-Traffic Control System with Probabilistic Real-time Model-checking},
institution={UNU-IIST United Nations University International Institute for Software Technology},
year={2007},

type={},
number={},
address={},
month={},
note={},
key={}
}