?url_ver=Z39.88-2004&rft_id=10.1109%2FNatPC.2011.6136335&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Farooq&rft.aufirst=M.U.&rft.au=Farooq%2C+M.U.&rft.date=2011&rft.isbn=9781457718847&rft.title=A+critical+survey+on+automated+model+generation+techniques+for+high+level+modeling+and+high+level+fault+modeling&rft.genre=proceeding