Mens_et_al_Softw. Syst. Model_18(2)_2019.pdfhttp://purl.tuc.gr/dl/dias/C786AF78-03BD-4A9A-A1E2-D5F1CD0D1224A method for testing and validating executable statechart modelsfree2019-09-03application/pdf3.4 MB