A critical survey on automated model generation techniques for high level modeling and high level fault modeling Conference Paper