pid type title authors mentors source_title published_date url doi isbn issn eissn fer:5003 dissertation "Model-based approach to real-time embedded control systems development with legacy components integration" "Babić, Josip"