Nuseibeh, B.; Finkelstein, A.; Kramer, J.; (1993) Fine-grain process modelling. In: 7th International Workshop on Software Specification and Design (IWSSD-7). (pp. pp. 42-46). IEEE Computer Society Press Green open access