@article{
st-2000-pves,
  title = {Practical Verification of Embedded Software},
  author = {J\o{}rgen Staunstrup et. al.},
  journal = {Computer},
  year = {2000},
  month = may
}