Automating the Development of Agent-Based Warehouse Control Systems. - Jacques Verriet; Bruno van Wijngaarden; Eef van Heusden; Roelof Hamberg (PAAMS (Workshops), 2011)