%0 eBook %A Krayem, Said %I Univerzita Tomáše Bati ve Zlíně %D 2018 %C Zlín %G English %@ 978-80-7454-731-7 %T Systems engineering - formal modelling methods %U https://digilib.k.utb.cz/handle/10563/41629