TY  - RPRT
TI  - Towards Controlling Refinements of Statecharts
AU  - Conner Hansen
AU  - Eugene Syriani
AU  - Levi Lucio
PY  - 2015
UR  - https://arxiv.org/abs/1503.07266
ID  - 1503.07266
ER  -