1. Marine Turbine Applications in Waste Heat Recovery Systems, Journal of Polish CIMAC;Adamkiewicz,2012
2. Model-based design of dependable Systems : limitations and evolution of analysis and verification approaches;Aizpurua;Int. J. Adv. Secur,2013
3. Design of dual pressure heat recovery steam generator for combined power plants, Iraq, mosul university, mechanical engineering department;Al-Hobo;Tech. Rep.,2013
4. The AltaRica formalism for describing concurrent systems;Arnold;Fundam. Inf.,2000
5. The AltaRica 3.0 project for model-based safety assessment;Batteux,2013