Data Validation Using Model-Based Testing and Finite Automata Synchronization. - Roman, Adam (AIP Conference Proceedings, 2017)