Dan Lawesson

1973

• An approach to diagnosability analysis for interacting finite state systems