@TECHREPORT{PS06sas,
  AUTHOR = {Gordon Pace and Gerardo Schneider},
  TITLE = {Static Analysis of {SPDI}s for State-Space Reduction},
  INSTITUTION = {Department of Informatics, University of Oslo},
  YEAR = {2006},
  NUMBER = {336},
  ADDRESS = {PO Box 1080 Blindern,  N-0316 Oslo, Norway},
  MONTH = {April},
  PDF = {report-UiO-336.pdf},
  OPTISBN = {82-7368-291-9},
  OPTISSN = {0806-3036},
}