Abstract design method for distributed maintenance systems - Nemeth, Gabor (Array, 1994)