Sérgio Murilo Maciel Fernandes, Paulo Romero Martins Maciel: Parameterized GSPN Model and Extended Dependability Block Diagram for Reliability Evaluation of Embedded Systems. SMC 2006: 3046-3051