TY  - RPRT
TI  - Refinement-based verification of sequential implementations of Stateflow charts
AU  - Alvaro Miyazawa
AU  - Ana Cavalcanti
PY  - 2011
DO  - 10.4204/eptcs.55.5
UR  - https://arxiv.org/abs/1106.4094
ID  - 1106.4094
ER  -