1. Instruction Set Processor Specification (ISPS): The notation and its Application;Barbaci;IEEE Trans. on Computer,1981
2. A tutorial guide to modern hardware description and design languages;Pawlak,1985
3. CADL a formal description language for parallel computer architecture;Eichenseher,1988
4. Processor tradeoffs in distributed real time systems;Krishna;IEEE Trans. on Computer,1987
5. A modular approach to real time supersystems;Arnold;IEEE Trans. on Computer,1982