Formal Methods in ManufacturingJavier Campos, Carla Seatzu, Xiaolan Xie · First published 2014Open the Tome
Analysis and Design of Hybrid Systems 2006Christos Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon · First published 2006Open the Tome
