Title: Engineering of Computer-Based Systems