A methodology for modular model-building in discrete automation