Using 'parallel automaton' as a single notation to specify, design and control small computer based systems | IEEE Conference Publication | IEEE Xplore