%0 Report
%F Feng04DCharts
%A Feng, Thomas Huining
%T DCharts, a Formalism for Modeling and Simulation Based Design of Reactive Software Systems
%I Master's Thesis, School of Computer Science, McGill University, Canada
%D 2004
%U http://www.eecs.berkeley.edu/~tfeng/papers/feng04dcharts.pdf