Investigating the readability of state-based formal requirements specification languages.

Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson

Browse the full ICSE paper archive.