Abstract: Safety-critical autonomous systems operating in complex real-world environments face significant challenges in consistently meeting functional and non-functional requirements. While ...