selected publications chapter Dynamic Safety Contracts for Functional Cooperation of Automotive Systems. Lecture Notes in Computer Science. 2016