1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/references.bib	Sun Sep 09 13:11:45 2012 +0200
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/references.bib	Sun Sep 09 14:54:30 2012 +0200
     1.3 @@ -232,3 +232,21 @@
     1.4    month = 	 {August},
     1.5    publisher = {ACM Digital library}
     1.6  }
     1.7 +
     1.8 +@Book{fm-03,
     1.9 +  author = 	 {Jean Francois Monin and Michael G. Hinchey},
    1.10 +  title = 	 {Understanding formal methods},
    1.11 +  publisher = 	 {Springer},
    1.12 +  year = 	 {2003}
    1.13 +}
    1.14 +
    1.15 +@Book{db:dom-eng,
    1.16 +  author = 	 {Bj{\o}rner, Dines},
    1.17 +  title = 	 {Domain Engineering. Technology Management, Research and Engineering},
    1.18 +  publisher = 	 {JAIST Press},
    1.19 +  year = 	 {2009},
    1.20 +  month = 	 {Feb},
    1.21 +  series = 	 {COE Research Monograph Series},
    1.22 +  volume = 	 {4},
    1.23 +  address = 	 {Nomi, Japan}
    1.24 +}