Читая статьи по обеспечению надежности ПО, наткнулся на одну иранскую публикацию: порадовала первая же ссылка из списка литературы:
[1] Kopetz, IFIP WG 10.4, Jan. 2002
...