TY  - RPRT
TI  - Statecharts Via Process Algebra
AU  - Luttgen, Gerald
AU  - vonderBeeck, Michael
AU  - Cleaveland, Rance
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/19990116905
ID  - 19990116905
ER  -