R. G. Dromey, From requirements to design: formalizing the key steps, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings., pp.2-13, 2003.
DOI : 10.1109/SEFM.2003.1236202

R. G. Dromey, Genetic design: Amplifying our ability to deal with requirements complexity In: Models, Transformations and Tools, LNCS, vol.3466, pp.95-108, 2005.

L. Grunske, P. A. Lindsay, N. Yatapanage, and K. Winter, An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees, Proc. of Int Conf. on Integrated Formal Methods, pp.129-149, 2005.
DOI : 10.1007/11589976_9

L. Grunske, K. Winter, and N. Yatapanage, Defining the abstract syntax of visual languages with advanced graph grammars???A case study based on behavior trees, Journal of Visual Languages & Computing, vol.19, issue.3, pp.343-379, 2008.
DOI : 10.1016/j.jvlc.2007.11.003

R. Colvin, L. Grunske, and K. Winter, Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems, Journal of Systems and Software, vol.81, issue.12, pp.2163-2182, 2008.
DOI : 10.1016/j.jss.2008.04.035

C. Baier and J. P. Katoen, Principles of Model Checking, 2008.

M. Weiser, Program Slicing, Proc. of Int. Conf. on Software Engineering (ICSE'81, pp.439-449, 1981.
DOI : 10.1109/TSE.1984.5010248

F. Tip, A survey of program slicing techniques, Journal of Programming Languages, vol.3, issue.3, pp.121-189, 1995.

B. Xu, J. Qian, X. Zhang, Z. Wu, and L. Chen, A brief survey of program slicing, ACM SIGSOFT Software Engineering Notes, vol.30, issue.2, pp.1-36, 2005.
DOI : 10.1145/1050849.1050865

T. Oda and K. Araki, Specification slicing in formal methods of software development, Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93, pp.313-319, 2005.
DOI : 10.1109/CMPSAC.1993.404234

F. Wu and T. Yi, Slicing Z specifications, ACM SIGPLAN Notices, vol.39, issue.8, pp.39-48, 2004.
DOI : 10.1145/1026474.1026481

M. Heimdahl and M. Whalen, Reduction and slicing of heirarchical state machines, Proc. of European Software Engineering Conference

B. Dorel, I. Singh, L. Tahat, and S. Vaysburg, Slicing of state-based models, Proc. of Int. Conf. on Software Maintenance, pp.34-43, 2003.

J. Hatcliff, M. Dwyer, and H. Zheng, Slicing software for model construction, Higher-Order and Symbolic Computation, pp.315-353, 2000.

E. A. Emerson, Temporal and Modal Logic, 1990.
DOI : 10.1016/B978-0-444-88074-1.50021-4

L. Millett and T. Teitelbaum, Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation, Proc. of Int. SPIN Workshop, 1998.
DOI : 10.1007/s100090050041

V. Ganesh, H. Saidi, and N. Shankar, Slicing SAL, 1999.

C. Thrane, Slicing for uppaal, 2008 Annual IEEE Student Paper Conference, pp.1-5, 2008.
DOI : 10.1109/AISPC.2008.4460546

M. Leuschel, M. Llorens, J. Olivier, J. Silva, and S. Tamarit, The MEB and CEB Static Analysis for CSP Specifications, Proc. of Logic-Based Program Synthesis and Transformation (LOPSTR'08). Number 5438, pp.103-118, 2008.
DOI : 10.1109/TSE.1984.5010248

I. Brückner and H. Wehrheim, Slicing an Integrated Formal Method for Verification, LNCS, vol.3785, pp.360-374, 2005.
DOI : 10.1007/11576280_25

L. Wen and R. G. Dromey, From requirements change to design change: A formal path, Proc. of Int. Conf. on Software Engineering and Formal Methods, pp.104-113, 2004.

S. Zafar, R. Colvin, K. Winter, N. Yatapanage, and R. G. Dromey, Early Validation and Verification of a Distributed Role-Based Access Control Model, 14th Asia-Pacific Software Engineering Conference (APSEC'07), pp.430-437, 2007.
DOI : 10.1109/ASPEC.2007.20

G. R. Dromey, Behavior Engineering

R. Colvin and I. J. Hayes, A semantics for Behavior Trees, p.204809, 2010.

R. Colvin and I. J. Hayes, CSP with Hierarchical State, Proc. of Int. Conf. on Integrated Formal Methods, pp.118-135, 2009.
DOI : 10.1007/3-540-45648-1_10

K. J. Ottenstein and L. M. Ottenstein, The program dependence graph in a software development environment, ACM SIGSOFT Software Engineering Notes, vol.9, issue.3, pp.177-184, 1984.
DOI : 10.1145/390010.808263

J. Ferrante, K. J. Ottenstein, and J. D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems, vol.9, issue.3, pp.319-349, 1987.
DOI : 10.1145/24039.24041

V. P. Ranganath, T. Amtoft, A. Banerjee, J. Hatcliff, and M. B. Dwyer, A new foundation for control dependence and slicing for modern program structures, ACM Transactions on Programming Languages and Systems, vol.29, issue.5, p.27, 2007.
DOI : 10.1145/1275497.1275502

J. Krinke, Static slicing of threaded programs, ACM SIGPLAN Notices, vol.33, issue.7, pp.35-42, 1998.
DOI : 10.1145/277633.277638

M. Evered and S. Bögeholz, A case study in access control requirements for a health information system, Proc. of Workshop on Australasian Information Security, Data Mining and Web Intelligence, and Software Internationalisation, pp.53-61, 2004.