INFO:root:Generating expanded XML fei: C:/Users/FBK/git/AMASS_SystemArchitectureProjects/SSR_fault/NuSMV3-XSAP/Temp\expanded_RootElement_System.xml
INFO:root:Generated expanded XML fei: C:/Users/FBK/git/AMASS_SystemArchitectureProjects/SSR_fault/NuSMV3-XSAP/Temp\expanded_RootElement_System.xml
INFO:root:Generated xsap commands script: C:/Users/FBK/git/AMASS_SystemArchitectureProjects/SSR_fault/NuSMV3-XSAP/Temp\xsap_extend_model.cmd
INFO:root:Invoking xsap to carry out smv extension of C:\Users\FBK\git\AMASS_SystemArchitectureProjects\SSR_fault\NuSMV3-XSAP\Files\RootElement_System.smv
ERROR:root:A fatal error occurred
ERROR:root:(See also content of file C:/Users/FBK/git/AMASS_SystemArchitectureProjects/SSR_fault/NuSMV3-XSAP/Temp\xsap_extend_model.out)
