@Article{,
  author = 	 {Juhan Ernits},
  title = 	 {Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card},
  journal =  {Nordic Journal of Computing},
  year = 	 {2005},
  volume = 	 {12},
  number = 	 {2},
  pages = 	 {68--88}
}