@article{article, title = {{Statechart testing method for aircraft control systems}}, url = {{}}, year = {{2001}}, month = {{3}}, author = {{Bogdanov K and Holcombe M}}, volume = {{11}}, journal = {{SOFTW TEST VERIF REL}}, issue = {{1}}, pages = {{39-54}}, note = {{Accessed on 2025/08/26}}}