| 146 | |
| 147 | * Masmano, M., Y. Valiente, P. Balbastre, I. Ripoll, and A. Crespo. "ARINC-653 APEX based on XtratuM." [http://wks.gii.upv.es/sidireli/files/jtr_patricia_arinc.pdf] |
| 148 | |
| 149 | * Druzhinin, I. V., A. A. Mynzhasova, and E. A. Sinelnikov. "Design and implementation of a hardware-software module for testing real-time systems." In ''MIPRO, 2011 Proceedings of the 34th International Convention'', pp. 788-791. IEEE, 2011. |
| 150 | |
| 151 | * Rufino, José, João Craveiro, and Paulo Verissimo. "Building a time-and space-partitioned architecture for the next generation of space vehicle avionics." In ''Software Technologies for Embedded and Ubiquitous Systems'', pp. 179-190. Springer Berlin Heidelberg, 2011. [http://air.di.fc.ul.pt/air-ii/downloads/Rufino10SEUS.pdf] |
| 152 | |
| 153 | * Cotroneo, Domenico, Domenico Di Leo, Nuno Silva, and Ricardo Barbosa. "The PreCertification Kit for Operating Systems in Safety Domains." In ''Software Certification (WoSoCER), 2011 First International Workshop on'', pp. 19-24. IEEE, 2011. |
| 154 | |
| 155 | * Guzman, David, Manuel Prieto, Sebastián Sanchez, Javier Almena, Oscar Rodriguez, and Daniel Meziat. "Improving the LEON Spacecraft Computer Processor for Real-Time Performance Analysis." ''Journal of Spacecraft and Rockets'' 48, no. 4 (2011): 671-678. |
| 156 | |
| 157 | * Ahmed, Fayyaz. "Communication protocols, queuing and scheduling delay analysis in CANDU SCWR hydrogen co-generation model." PhD diss., 2011. [https://ir.library.dc-uoit.ca/bitstream/10155/163/1/Ahmad_Fayyaz.pdf] |
| 158 | |
| 159 | * Natella, Roberto. "Achieving Representative Faultloads in Software Fault Injection." (2011). [http://www.fedoa.unina.it/8833/1/thesis_natella.pdf] |