1.李震，刘斌，李晓勋，殷永峰. 基于Petri网模型检验的安全关键软件需求验证. 系统工程与电子技术，2011,Vol(33).No.2:458-463.（EI源期刊）
2.李震，刘斌，殷永峰，李晓勋. 基于扩展Petri网的安全关键软件需求模型检验. 沈阳工业大学学报，2011，Vol(33).No.1:113-120.（EI源期刊）
3.李震，刘斌，殷永峰，李晓勋. 基于改进Petri网的可信软件模型验证和测试研究.计算机研究与发展，2010，Vol（47）Suppl.June:273-279（EI源期刊）
4.李震，刘斌，陆民燕，殷永峰. 基于扩展Petri网的除冰软件安全需求建模和验证. 北京航空航天大学学报，2012.01.（EI源期刊）
5.李震，刘斌，苗虹, 殷永峰.基于本体的软件安全性需求形式化建模和验证.北京航空航天大学学报，2012.11.（EI源期刊）
6.李震，刘斌，苗虹, 殷永峰.基于划分软件安全Petri网的需求形式化验证.系统工程与电子技术，2012.09.（EI源期刊）