Temporal theories as modularisation units for concurrent system specification J. FiadeiroT. Maibaum OriginalPaper Pages: 239 - 272