Virtual Prototyping a Production Line using Assume-Guarantee Contracts