Investigating the readability of state-based formal requirements specification languages. - Marc K. Zimmerman; Kristina Lundqvist; Nancy G. Leveson (ICSE, 2002)