Singh G. Low power hardware synthesis from concurrent action-oriented specifications / G. Singh, S. K. Shukla, 2010. - XXIX, 153 p. - Текст : непосредственный.
Patel H.D. Ingredients for successful system level design methodology / H. D. Patel, S. K. Shukla, 2008 r=on-line. - Текст : электронный.
Singh G. Low power hardware synthesis from concurrent action-oriented specifications / G. Singh, S. K. Shukla, 2010 r=on-line. - Текст : электронный.
Synthesis of embedded software : frameworks and methodologies for correctness by construction / ed. S. K. Shukla, 2010 r=on-line. - Текст : электронный.
Patel H.D. SystemC kernel extensions for heterogeneous system modeling : a framework for multi-moC modeling & simulation / H. D. Patel, S. K. Shukla, 2005 r=on-line