Slåttenand Herrmann. Contracts for Multi-instance UML Activities. Springer Berlin Heidelberg, 2011, doi:10.1007/978-3-642-21461-5_20.