1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/references.bib	Wed Oct 31 14:22:03 2012 +0100
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/references.bib	Fri Nov 02 12:20:49 2012 +0100
     1.3 @@ -1,3 +1,52 @@
     1.4 +@Book{db:dom-eng,
     1.5 +  author = 	 {Bj{\o}rner, Dines},
     1.6 +  title = 	 {Domain Engineering. Technology Management, Research and Engineering},
     1.7 +  publisher = 	 {JAIST Press},
     1.8 +  year = 	 {2009},
     1.9 +  month = 	 {Feb},
    1.10 +  series = 	 {COE Research Monograph Series},
    1.11 +  volume = 	 {4},
    1.12 +  address = 	 {Nomi, Japan}
    1.13 +}
    1.14 +
    1.15 +@INPROCEEDINGS{Hansen94b,
    1.16 +  KEY           = "Hansen94",
    1.17 +  AUTHOR        = "Kirsten Mark Hansen",
    1.18 +  EDITOR        = "M. Naftalin, T. Denvir, M. Bertran",
    1.19 +  TITLE         = "Validation of a Railway Interlocking Model",
    1.20 +  BOOKTITLE     = "FME'94: Industrial Benefit of Formal Methods",
    1.21 +  PUBLISHER     = "Springer-Verlag",
    1.22 +  YEAR          = "1994",
    1.23 +  MONTH         = "October",
    1.24 +  PAGES         = "582-601",
    1.25 +  ANNOTE        = "",
    1.26 +  COMMENT       = "PGL has got the proceedings. ADN"
    1.27 +}
    1.28 +
    1.29 +@INPROCEEDINGS{Dehbonei&94,
    1.30 +  KEY           = "Dehbonei\&94",
    1.31 +  AUTHOR        = "Dehbonei, Babak and Mejia, Fernando",
    1.32 +  EDITOR        = "M. Naftalin, T. Denvir, M. Bertran",
    1.33 +  TITLE         = "Formal Methods in the Railways Signalling Industry",
    1.34 +  BOOKTITLE     = "FME'94:Industrial Benefit of Formal Methods",
    1.35 +  PUBLISHER     = "Springer-Verlag",
    1.36 +  YEAR          = "1994",
    1.37 +  MONTH         = "October",
    1.38 +  PAGES         = "26-34",
    1.39 +  ANNOTE        = "",
    1.40 +  COMMENT       = "Peter has got the proceedings. ADN"
    1.41 +}
    1.42 +
    1.43 +@Book{db:SW-engIII,
    1.44 +  author = 	 {Bj{\o}rner, Dines},
    1.45 +  title = 	 {Software Engineering},
    1.46 +  publisher = 	 {Springer},
    1.47 +  year = 	 {2006},
    1.48 +  volume = 	 {3},
    1.49 +  series = 	 {Texts in Theoretical Computer Science},
    1.50 +  address = 	 {Berlin, Heidelberg}
    1.51 +}
    1.52 +
    1.53  @Book{pl:milner97,
    1.54    author = 	 {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
    1.55    title = 	 {The Definition of Standard ML (Revised)},
    1.56 @@ -283,4 +332,15 @@
    1.57     year = {2012},
    1.58     url = {http://en.wikipedia.org/wiki/Z-transform#Table_of_common_Z-transform_pairs},
    1.59     note = {[Online; accessed 31-Oct-2012]}
    1.60 - }
    1.61 \ No newline at end of file
    1.62 + }
    1.63 +
    1.64 +@InProceedings{kremp.np:assess,
    1.65 +  author = 	 {Krempler, Alan and Neuper, Walther},
    1.66 +  title = 	 {Formative Assessment for User Guidance in Single Stepping Systems},
    1.67 +  booktitle = {Interactive Computer Aided Learning, Proceedings of ICL08},
    1.68 +  year = 	 {2008},
    1.69 +  editor = 	 {Aucher, Michael E.},
    1.70 +  address = 	 {Villach, Austria} %,
    1.71 +  %note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/icl08.pdf}
    1.72 +}
    1.73 +