A methodology for modular model-building in discrete automation.

Matteo Sartini, Andrea Paoli, Richard C. Hill, Stphane Lafortune

Browse the full ETFA paper archive.