Irfan Šljivo 0 2018. Assurance Aware Contract-based Design for Safety-critical Systems Preuzmi PDF + 1 Computer Science