"Behavioral Types for Component-Based Development of Cyber-Physical Systems."

Jan Olaf Blech, Peter Herrmann (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics