@ARTICLE {8971,
author={A. Matos and G. Boudol and I. Castellani},
doi={10.1016/j.jlap.2007.02.009},
journal={Journal of Logic and Algebraic Programming},
title={Typing Noninterference for Reactive Programs},
year={2007},
month={July},
volume={72},
number={2},
pages={124-156},
ISSN={1567-8326}
}