@Article{schneider05:_tank_monit,
author = {Steve Schneider and Thai Son Hoang and Ken Robinson and Helen Treharne},
title = {Tank Monitoring: A {pAMN} Case Study},
journal = {Electronic Notes in Theoretical Computer Science (ENTCS)},
year = 2005,
month = apr,
volume = 137,
number = 2,
pages = {183--204},
note = {In Proceedings of the REFINE2005 Workshop. \url{http://dx.doi.org/10.1016/j.entcs.2005.04.031}}
}