Systems engineering - formal modelling methods - Krayem, Said (Univerzita Tomáše Bati ve Zlíně, 2018)