Requirements analysis using Petri nets. - Brad C. Gaylord; David A. Gustafson (ACM Annual Conference, 1985)