@book(roomba,
 year         = {2020},
 publisher    = {iRobot Corporation},
 title        = {Roomba},
 url          = {https://store.irobot.com/default/parts-and-accessories/roomba-accessories/},
)
@article(Bennetts75,
 author       = {R. G. Bennetts},
 year         = {1975},
 title        = {On the Analysis of Fault Trees},
 journal      = {IEEE Transactions on Reliability},
 volume       = {R-24},
 number       = {3},
 pages        = {175--185},
 doi          = {10.1109/TR.1975.5215143},
)
@article(Biermann72,
 author       = {A. W. Biermann and J. A. Feldman},
 year         = {1972},
 title        = {On the Synthesis of Finite-State Machines from Samples of Their Behavior},
 journal      = {IEEE Transactions on Computers},
 volume       = {C-21},
 number       = {6},
 pages        = {592--597},
 doi          = {10.1109/TC.1972.5009015},
)
@article(Bohrer19,
 author       = {B. {Bohrer} and Y. K. {Tan} and S. {Mitsch} and A. {Sogokon} and A. {Platzer}},
 year         = {2019},
 title        = {A Formal Safety Net for Waypoint-Following in Ground Robots},
 journal      = {IEEE Robotics and Automation Letters},
 volume       = {4},
 number       = {3},
 pages        = {2910--2917},
 doi          = {10.1109/LRA.2019.2923099},
)
@inproceedings(Castagliola07,
 author       = {P. Castagliola and K. Vannman},
 year         = {2007},
 title        = {The efficiency of the EWMA capability chart},
 booktitle    = {2007 IEEE International Conference on Industrial Engineering and Engineering Management},
 pages        = {1389--1393},
 doi          = {10.1109/IEEM.2007.4419420},
)
@article(Chow78,
 author       = {T. S. Chow},
 year         = {1978},
 title        = {Testing Software Design Modeled by Finite-State Machines},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {SE-4},
 number       = {3},
 pages        = {178--187},
 doi          = {10.1109/TSE.1978.231496},
)
@book(Lenny13,
 author       = {L. Delligatti},
 year         = {2013},
 title        = {SysML Distilled: A Brief Guide to the Systems Modeling Language},
 edition      = {1st},
 publisher    = {Addison-Wesley Professional},
)
@article(Devadas88,
 author       = {S. Devadas and Hi-Keung Ma and A. R. Newton and Sangiovanni-Vincentelli, A.},
 year         = {1988},
 title        = {MUSTANG: state assignment of finite state machines targeting multilevel logic implementations},
 journal      = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
 volume       = {7},
 number       = {12},
 pages        = {1290--1300},
 doi          = {10.1109/43.16807},
)
@inproceedings(Dhoubi12,
 author       = {S. Dhouib and S. Kchir and S. Stinckwich and T. Ziadi and M. Ziane},
 year         = {2012},
 title        = {RobotML, a Domain-Specific Language to Design Simulate and Deploy Robotic Applications},
 booktitle    = {Third international conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR’12)},
 pages        = {149--160},
 doi          = {10.1007/978-3-642-34327-8_16},
)
@inproceedings(DiasNeto07,
 author       = {Dias Neto, A. C. and R. Subramanyan and M. Vieira and G. H. Travassos},
 year         = {2007},
 title        = {A Survey on Model-based Testing Approaches: A Systematic Review},
 booktitle    = {Proceedings of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies: Held in Conjunction with the 22Nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007},
 series       = {WEASELTech '07},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {31--36},
 doi          = {10.1145/1353673.1353681},
)
@article(Dogget12,
 author       = {A. Mark Doggett},
 year         = {2005},
 title        = {Root Cause Analysis: A Framework for Tool Selection},
 journal      = {Quality Management Journal},
 volume       = {12},
 number       = {4},
 pages        = {34--45},
 doi          = {10.1080/10686967.2005.11919269},
)
@inproceedings(Fernandez08,
 author       = {J. L. Fernandez and R. Sanz and E. Paz and C. Alonso},
 year         = {2008},
 title        = {Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph},
 booktitle    = {2008 IEEE International Conference on Robotics and Automation},
 pages        = {1372--1377},
 doi          = {10.1109/ROBOT.2008.4543394},
)
@article(Freedman91,
 author       = {P. Freedman},
 year         = {1991},
 title        = {Time, Petri nets, and robotics},
 journal      = {IEEE Transactions on Robotics and Automation},
 volume       = {7},
 number       = {4},
 pages        = {417--433},
 doi          = {10.1109/70.86074},
)
@inproceedings(Gobillot14,
 author       = {N. Gobillot and C. Lesire and D. Doose},
 year         = {2014},
 title        = {A Modeling Framework for Software Architecture Specification and Validation},
 pages        = {303--314},
 doi          = {10.1007/978-3-319-11900-7_26},
)
@inproceedings(Hause06,
 author       = {M. Hause},
 year         = {2006},
 title        = {The SysML modelling language},
 booktitle    = {Fifteenth European Systems Engineering Conference},
 volume       = {9},
 pages        = {1--12},
)
@inproceedings(Hayes17,
 author       = {B. {Hayes} and J. A. {Shah}},
 year         = {2017},
 title        = {Improving Robot Controller Transparency Through Autonomous Policy Explanation},
 booktitle    = {2017 12th ACM/IEEE International Conference on Human-Robot Interaction (HRI},
 pages        = {303--312},
 doi          = {10.1145/2909824.3020233},
)
@book(roomba05,
 author       = {iRobot},
 year         = {2005},
 title        = {iRobot Roomba Serial Command Interface (SCI) Specification},
 publisher    = {iRobot Corporation},
 url          = {https://web.archive.org/web/20131202230831/http://www.irobot.com/images/consumer/hacker/Roomba_SCI_Spec_Manual.pdf},
)
@inproceedings(Jarraya07,
 author       = {Y. {Jarraya} and A. {Soeanu} and M. {Debbabi} and F. {Hassaine}},
 year         = {2007},
 title        = {Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams},
 booktitle    = {14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)},
 pages        = {515--522},
 doi          = {10.1109/ECBS.2007.22},
)
@article(Kotz02,
 author       = {S. Kotz and N. L. Johnson},
 year         = {2002},
 title        = {Process Capability Indices—A Review, 1992–2000},
 journal      = {Journal of Quality Technology},
 volume       = {34},
 number       = {1},
 pages        = {2--19},
 doi          = {10.1080/00224065.2002.11980119},
)
@article(KressGazit18,
 author       = {Kress-Gazit, H. and M. Lahijanian and V. Raman},
 year         = {2018},
 title        = {Synthesis for Robots: Guarantees and Feedback for Robot Behavior},
 journal      = {Annual Review of Control, Robotics, and Autonomous Systems},
 volume       = {1},
 number       = {1},
 pages        = {211--236},
 doi          = {10.1146/annurev-control-060117-104838},
)
@inproceedings(KressGazit19,
 author       = {Kress{-}Gazit, H. and H. Torfah},
 year         = {2018},
 title        = {The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems},
 booktitle    = {Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018.},
 pages        = {50--64},
 doi          = {10.4204/EPTCS.286.5},
)
@article(Laleau10,
 author       = {R. Laleau and F. Semmak and A. Matoussi and D. Petit and H. Ahmed and B. Tatibouët},
 year         = {2010},
 title        = {A first attempt to combine SysML requirements diagrams and B},
 journal      = {ISSE},
 volume       = {6},
 pages        = {47--54},
 doi          = {10.1007/s11334-009-0119-y},
)
@article(Landgren73,
 author       = {G. L. Landgren and S. W. Anderson},
 year         = {1973},
 title        = {Simultaneous Power Interchange Capability Analysis},
 journal      = {IEEE Transactions on Power Apparatus and Systems},
 volume       = {PAS-92},
 number       = {6},
 pages        = {1973--1986},
 doi          = {10.1109/TPAS.1973.293577},
)
@article(Landgren72,
 author       = {G. L. Landgren and H. L. Terhune and R. K. Angel},
 year         = {1972},
 title        = {Transmission Interchange Capability - Analysis by Computer},
 journal      = {IEEE Transactions on Power Apparatus and Systems},
 volume       = {PAS-91},
 number       = {6},
 pages        = {2405--2414},
 doi          = {10.1109/TPAS.1972.293398},
)
@article(Lee96,
 author       = {D. Lee and M. Yannakakis},
 year         = {1996},
 title        = {Principles and methods of testing finite state machines-a survey},
 journal      = {Proceedings of the IEEE},
 volume       = {84},
 number       = {8},
 pages        = {1090--1123},
 doi          = {10.1109/5.533956},
)
@article(Luckcuck19,
 author       = {M. Luckcuck and M. Farrell and L. A. Dennis and C. Dixon and M. Fisher},
 year         = {2019},
 title        = {Formal Specification and Verification of Autonomous Robotic Systems: A Survey},
 journal      = {ACM Comput. Surv.},
 volume       = {52},
 number       = {5},
 doi          = {10.1145/3342355},
)
@article(Lyons89,
 author       = {D. M. Lyons and M. A. Arbib},
 year         = {1989},
 title        = {A formal model of computation for sensory-based robotics},
 journal      = {IEEE Transactions on Robotics and Automation},
 volume       = {5},
 number       = {3},
 pages        = {280--293},
 doi          = {10.1109/70.34764},
)
@article(Miyazawa19,
 author       = {{A. H.} Miyazawa and De Oliveira Salazar Ribeiro, {P. F.} and W. Li and {A. L. C.} Cavalcanti and {J. I.} Timmis and {J. C. P.} Woodcock},
 year         = {2019},
 title        = {RoboChart: modelling and verification of the functional behaviour of robotic applications},
 journal      = {Software and Systems Modeling},
 doi          = {10.1007/s10270-018-00710-z},
)
@article(Murata89,
 author       = {T. Murata},
 year         = {1989},
 title        = {Petri nets: Properties, analysis and applications},
 journal      = {Proceedings of the IEEE},
 volume       = {77},
 number       = {4},
 pages        = {541--580},
 doi          = {10.1109/5.24143},
)
@inproceedings(Nordmann14,
 author       = {A. Nordmann and N. Hochgeschwender and S. Wrede},
 year         = {2014},
 title        = {A Survey on Domain-Specific Languages in Robotics},
 volume       = {8810},
 doi          = {10.1007/978-3-319-11900-7_17},
)
@article(Ouchani14,
 author       = {S. Ouchani and O. Aït Mohamed and M. Debbabi},
 year         = {2014},
 title        = {A formal verification framework for SysML activity diagrams},
 journal      = {Expert Systems with Applications},
 volume       = {41},
 number       = {6},
 pages        = {2713 -- 2728},
 doi          = {10.1016/j.eswa.2013.10.064},
 url          = {http://www.sciencedirect.com/science/article/pii/S0957417413008968},
)
@article(Peterson77,
 author       = {J. L. Peterson},
 year         = {1977},
 title        = {Petri Nets},
 journal      = {ACM Comput. Surv.},
 volume       = {9},
 number       = {3},
 pages        = {223--252},
 doi          = {10.1145/356698.356702},
)
@inbook(Petrenko01,
 author       = {A. Petrenko},
 year         = {2001},
 title        = {Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography},
 pages        = {196--205},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
)
@article(Raman12,
 author       = {V. {Raman} and {Kress-Gazit}, H.},
 year         = {2013},
 title        = {Explaining Impossible High-Level Robot Behaviors},
 journal      = {IEEE Transactions on Robotics},
 volume       = {29},
 number       = {1},
 pages        = {94--104},
 doi          = {10.1109/TRO.2012.2214558},
)
@article(Rauzy93,
 author       = {A. Rauzy},
 year         = {1993},
 title        = {New algorithms for fault trees analysis},
 journal      = {Reliability Engineering and System Safety},
 volume       = {40},
 number       = {3},
 pages        = {203 -- 211},
 doi          = {10.1016/0951-8320(93)90060-C},
)
@article(Redfield19b,
 author       = {S. A. Redfield and E. I. Leonard and J. Lennon},
 year         = {2019},
 title        = {Task Specification and Behavior verification for UUV Behavior Design},
 journal      = {Autonomous Underwater Vehicles Design and practice},
)
@article(Rooney04,
 author       = {J. Rooney and L.N. Hauvel},
 year         = {2004},
 title        = {Root Cause Analysis For Beginners},
 journal      = {Quality Progress},
 volume       = {37},
 pages        = {45--53},
)
@book(powerpoint06,
 author       = {R. Steiner S. Friedenthal, A. Moore},
 year         = {2006},
 title        = {OMG Systems Modeling Language (OMG SysML) Tutorial},
 publisher    = {INCOSE, Object Management Group},
 url          = {https://utilities.omg.org/news/meetings/workshops/SBC_2007_Presentations/00-T1_Friedenthal.pdf},
)
@inproceedings(Schlegel10,
 author       = {C. Schlegel and A. Steck and D. Brugali and A. Knoll},
 year         = {2010},
 title        = {Design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering},
 pages        = {324--335},
 doi          = {10.1007/978-3-642-17319-6_31},
)
@inproceedings(Wang13,
 author       = {D. Wang and H. Ting and C. Chao and T. Koo},
 year         = {2013},
 title        = {Process capability analysis on autoregressive process},
 booktitle    = {2013 10th International Conference on Service Systems and Service Management},
 pages        = {78--80},
 doi          = {10.1109/ICSSSM.2013.6602525},
)