S. Andova, M. Van-den-brand, and L. Engelen, Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models, AMMSE'11 Proc. Theo. Comp. Sci, pp.65-79, 2011.
DOI : 10.4204/EPTCS.56.5

B. Arnold, A. Van-deursen, and M. Res, An Algebraic Specification of a Language for Describing Financial Products, Wsh. Formal Methods Applications in Software Engineering Practice, pp.6-13, 1995.

D. Bjørner, Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering, CTS'03, 2003.

D. Bjørner, Domain Engineering ? Technology Management, Research and Engineering, 2009.

D. Bonachea, K. Fisher, A. Rogers, and F. Smith, Hancock: A Language for Processing Very Large-scale Data, SIGPLAN Notices, vol.35, issue.1, 2000.

M. V. Cengarle, A. Knapp, A. Tarlecki, and M. Wirsing, A Heterogeneous Approach to UML Semantics, Concurrency, Graphs and Models, pp.383-402, 2008.
DOI : 10.1007/978-3-540-68679-8_23

O. Santos, J. Woodcock, and R. Paige, Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.117-126, 2011.
DOI : 10.1109/ICECCS.2011.19

M. Fowler, Domain Specific Languages, 2010.

G. E. Hughes and M. J. , A new introduction to modal logic. Routledge, 1996.

J. Goguen and R. Burstall, Institutions: abstract model theory for specification and programming, Journal of the ACM, vol.39, issue.1, pp.95-146, 1992.
DOI : 10.1145/147508.147524

H. Hussmann, M. Cerioli, and H. Baumeister, From uml to casl (static part), 2000.

P. James, A. Knapp, T. Mossakowski, and M. Roggenbach, From UML Class Diagrams to Modal CASL

P. James and M. Roggenbach, Designing domain specific languages for verification: First steps, CEUR Wsh. Proc, vol.760, issue.11, pp.40-45, 2011.

D. Kerr and T. Rowbotham, Introduction to Railway Signalling. Institution of Railway Signal Engineers, 2001.

K. Lano, D. Clark, and K. Androutsopoulos, UML to B: Formal Verification of Object-Oriented Models, IFM'04, pp.187-206, 2004.
DOI : 10.1007/978-3-540-24756-2_11

S. Meng and B. Aichernig, Towards a Coalgebraic Semantics of UML: Class Diagrams and Use Cases, 2003.

M. Mernik, J. Heering, and A. M. Sloane, When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, 2005.
DOI : 10.1145/1118890.1118892
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.735

T. Mossakowski, Relating CASL with other specification languages: the institution level, Theoretical Computer Science, vol.286, issue.2, pp.367-475, 2002.
DOI : 10.1016/S0304-3975(01)00369-3

T. Mossakowski, ModalCASL ? Specification with Multi-Modal Logics. Language Summary, 2004.

T. Mossakowski, HeTS ? the Heterogeneous Tool Set, home page, 2011.

M. Object and . Group, Unified Modeling Language (UML), v2.4.1, 2011.