Title: Automatic fault tree construction for railway safety systems
First published: 1996