Scalable virtual prototyping of distributed embedded control in a modern elevator system. - Alberto Ferrari; Marco Carloni; Alessandro Mignogna; Francesco Menichelli; David Ginsberg; Eelco Scholte; Dang Nguyen 005 (SIES, 2012)