TITLE     : Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button
AUTHOR(S) : Ferrari A, Illiashenko Oleg, Parfenov Sergii
TYPE      : Other
YEAR      : 2011
CODE      : 207036

*** DO NOT EDIT THIS FILE ***