59 | | * [http://www.ellidiss.fr/public/wiki/attachment/wiki/AADL/Pacemaker.pdf Design documentation] |
60 | | * [http://www.ellidiss.fr/public/wiki/attachment/wiki/AADL/Pacemaker.aadl AADL source code] |
61 | | * [http://www.ellidiss.fr/public/wiki/attachment/wiki/AADL/PacemakerTests.pdf Validation documentation] |
| 59 | * [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/AADL/Pacemaker.pdf Design documentation] |
| 60 | * [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/AADL/Pacemaker.aadl AADL source code] |
| 61 | * [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/AADL/PacemakerTests.pdf Validation documentation] |