@Book{fm-03,

   author = 	 {Jean Francois Monin and Michael G. Hinchey},

   title = 	 {Understanding formal methods},

   publisher = 	 {Springer},

   year = 	 {2003}

 }

 @Book{db:dom-eng,

   author = 	 {Bj{\o}rner, Dines},

   title = 	 {Domain Engineering. Technology Management, Research and Engineering},

   publisher = 	 {JAIST Press},

   year = 	 {2009},

   month = 	 {Feb},

   series = 	 {COE Research Monograph Series},

   volume = 	 {4},

   address = 	 {Nomi, Japan}

 }