K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson, "Feature-Oriented Domain Analysis (FODA) Feasibility Study", TechnicalReportCMU/ SEI-90-TR-21, Pittsburgh, PA, Software Engineering Institute, Carnegie Mellon University, Nov. 1990.
Lee, K., Kang, K., Lee, J, "Concepts and Guidelines of Feature Modeling for Product Line Software Engineering", Software Reuse: Method, Techniques, and Tools, Springer Berlin/Heidelberg, Vol. 2319, pp. 62-77, 2002.
Kang, K. C., Kim, S., Lee, J., et al., "FORM: A Feature-Oriented Reuse Method with Domain Specific Reference Architecture," Annals of Software Engineering, Vol. 5, pp. 143-168, 1998.
M. Shroff, R. France, "Towards Formalization of UML Class Structures in Z", in Proc. of the COMPSAC '97, Washington DC, pp. 11-15, Aug. 1997.
S. K. Kim and D. Carrington, "Visualization of Formal Specification", in Proc. of the APSEC 98, Taibei, Taiwan, 1998.
S. K. Kim, D. Carrington, "A Formal Mapping between UML models and Object-Z Specification", The University of Queensland, Australia, Technical report 00-03, 2000.
Chee-Yang Song, "A Metamodel-Based Modeling Mechanism for Hierarchical Design in UML", Thesis for the Degree of Doctor, 2003. 7.
J.M. Spivey. "The Z Notation: A Reference Manual," 2nd Ed. Prentice Hall, 1992.
J. Woodcock, J. Davis, "Using Z: Specification, Refinement and Proof, International Series in Computer Science," Prentice-Hall, http://www.usingz.com/ text/online, 1996.
M. Saaltink, "The Z/EVES system", http://link.springer.com/chapter/10.1007/BFb 0027284.
M. Saaltink. "The Z/EVES 2.0 User's Guide," Technical Report TR-99-5493-06a, ORA Canada, CANADA, Oct. 1999.
D. Benavides, S. Segura, A. Ruiz-Cortes, "Automated Analysis of Feature Models 20 Years Later: A Literature Review," Journal of Information Systems, http://www.lsi.us.es/-dbc/en/?download=benavides10-is.pdf, March 2010.
S. B. Lee, J. W. Kim, C. Y. Song, J. H. Kwon, T. W. Lee, H. S. Kim, D. K. Baik, "Ontology-based approach to analyzing commonality and variability of features in the Software Product Line Engineering," Korea Institute of Information Scientists, Vol. 34, pp. 196-211, 2007.
M. Riebisch, K. B¨ollert, D. Streitferdt, and I. Philippow. "Ex-tending feature diagrams with UML multiplicities," In 6th World Conference on Integrated Design & Process Technology (IDPT2002), June 2002.
K. Czarnecki, S. Helsen, and U. Eisenecker. "Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice," Vol. 10, No.1, pp. 7-29, 2005.
D. Benavides, A. Ruiz-Cortes, P. Trinidad. "Automated reasoning on feature models," In Advanced Information Systems Engineering 17th International Conference, CAiSE, LNCS, Springer-Verlag, Vol. 3520, pp. 491-503, 2005.
Gi-Hwon Kwon, "Object-Oriented Animation of Z Formal Specification", Korea Information Science Society, Software Engineering Society Journal, Vol. 23, No. 12, pp. 1257-1269, Dec. 1996.
G. Smith, "The Object-Z Specification Language," Kluwer Academic Publishers, 1999.
M. Janota, J. Kiniry, "Reasoning about Feature Models in Higher-Order Logic," 11th International Software Product Line Conference, IEEE Computer Society, 2007.
J. Sun, H. Zhang, Y. F. Li, H. Wang, "Formal Semantics and Verification for Feature Modeling", Proceeding ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, http://elec.uq.edu.au/-liyf/papers/sun-Featur e.pdf, pp. 303-312, 2005.
H. Wang, Y. F. Li, J. Sun, H. Zhang, J. Z. Pan, "Feature Reasoning - Scaling Up and Pinning Down,"http://homepages.abdn.ac.uk/jeff.z.pan/pages/pub/WFSZP07.pdf, 2005.
E. S. Cho, C. J. Kim, "A Formal Specification of Reusable Framework of Embedded System,", Korea Information Processing Society," Vo. 17-D, No. 5, pp. 431-442, 2010. 12.
D. L. Kim, C. Y. Song, D. S. Kang, D. K. Baik, "An Ontology-based Transformation Method from Feature Model to Class Model," The Korea Society of Computer and Information, Vol. 13, No. 5, pp. 53-67, 2008. 9.