Papers I need to cite for SPIN paper

Data Flow Analysis for Verifying Properties of Concurrent Programs (1994)
Matthew Dwyer
Proceedings of the ACM SIGSOFT '94 Symposium on the Foundations of Software Engineering

For the definition of the admissible and consistent

Generalized BF Search Stratergies and the Optimality of A* published in the ACM journal by Dechter and J. Pearl

Another FSM heuristic:
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification (2001)
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
International Conference on Software Engineering

Validation with guided search of the state space
C Han Yang David L Dill
Annual ACM IEEE Design Automation Conference archive
Proceedings of the 35th annual conference on Design automation - Volume 00 table of contents

Interprocedural static analysis of sequencing constraints

Source ACM Transactions on Software Engineering and Methodology (TOSEM) archive
Volume 1 , Issue 1 (January 1992) table of contents
Pages: 21 - 52
Year of Publication: 1992

Kurt M. Olender University of Colorado
Leon J. Osterweil University of Colorado

Computation of interprocedural control dependence

Source International Symposium on Software Testing and Analysis archive
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Year of Publication: 1998

Authors
Mary Jean Harrold Computer and Info. Science, Ohio State University, 395 Dreese Lab, Columbus, OH
Gregg Rothermel Computer Science, Oregon State University, Dearborn Hall 307-A, Corvallis, OR
Saurabh Sinha Computer and Info. Science, Ohio State University, 395 Dreese Lab, Columbus, OH


An Experiment with Inline Substitution
Cooper,Wall and Torczon
@article{ cooper91experiment,
author = "Keith D. Cooper and Mary W. Hall and Linda Torczon",
title = "An Experiment with Inline Substitution",
journal = "Software - Practice and Experience",
volume = "21",
number = "6",
pages = "581-601",
year = "1991",
url = "citeseer.csail.mit.edu/cooper91experiment.html" }