@inproceedings(DBLP:conf/fase/AguirreFMMW09,
 author       = "Nazareno Aguirre and Marcelo F. Frias and Mariano M. Moscato and T. S. E. Maibaum and Alan Wassyng",
 year         = "2009",
 title        = "Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy",
 booktitle    = "FASE",
 pages        = "155--170",
 doi          = "10.1007/978-3-642-00593-0\_11",
)
@book(alexander2004scenarios,
 author       = "I. Alexander and N. Maiden",
 year         = "2004",
 title        = "Scenarios,Stories, Use Cases: Through the Systems Development Life-Cycle",
 publisher    = "Wiley",
 url          = "http://books.google.com.ar/books?id=GG0hAQAAIAAJ",
)
@inproceedings(Heitmeyer1997LFM,
 author       = "Ramech Bharadwaj and Constance L. Heitmeyer",
 year         = "1997",
 title        = "Applying the SCR Requirements Method to a Simple Autopilot",
 editor       = "C.M. Holloway and K.J. Hayhurst and United States. National Aeronautics and Space Administration and Langley Research Center",
 booktitle    = "LFM 97: Fourth NASA Langley Formal Methods Workshop : Proceedings of a Workshop",
 series       = "NASA conference publication",
 publisher    = "NASA Center for AeroSpace Information",
 pages        = "87--101",
)
@article(ase-BharadwajH99,
 author       = "Ramesh Bharadwaj and Constance L. Heitmeyer",
 year         = "1999",
 title        = "Model Checking Complete Requirements Specifications Using Abstraction",
 journal      = "Autom. Softw. Eng.",
 volume       = "6",
 number       = "1",
 pages        = "37--68",
 doi          = "10.1023/A:1008697817793",
)
@techreport(Butler96anintroduction,
 author       = "Ricky W. Butler",
 year         = "1996",
 title        = "An introduction to requirements capture using pvs: Specification of a simple autopilot",
 type         = "NASA Technical Memorandum 110255",
 number       = "110255",
 institution  = "NASA Langley Research Center",
 address      = "Hamptom, Virginia",
)
@inproceedings(icse-FriasGPA05,
 author       = "Marcelo F. Frias and Juan P. Galeotti and Carlos L{\'o}pez Pombo and Nazareno Aguirre",
 year         = "2005",
 title        = "DynAlloy: upgrading alloy with actions",
 editor       = "Gruia-Catalin Roman and William G. Griswold and Bashar Nuseibeh",
 booktitle    = "ICSE",
 publisher    = "ACM",
 pages        = "442--451",
 doi          = "10.1145/1062455.1062535",
)
@book(Ghezzi-FSE+2002,
 author       = "Carlo Ghezzi and Mehdi Jazayeri and Dino Mandrioli",
 year         = "2002",
 title        = "Fundamentals of Software Engineering",
 edition      = "2nd",
 publisher    = "Prentice Hall PTR",
 address      = "Upper Saddle River, NJ, USA",
)
@article(csse-HeitmeyerABJ05,
 author       = "Constance L. Heitmeyer and Myla Archer and Ramesh Bharadwaj and Ralph D. Jeffords",
 year         = "2005",
 title        = "Tools for constructing requirements specifications: the SCR Toolset at the age of nine",
 journal      = "Comput. Syst. Sci. Eng.",
 volume       = "20",
 number       = "1",
)
@inproceedings(HeitmeyerLK95,
 author       = "Constance L. Heitmeyer and Bruce G. Labaw and Daniel L. Kiskis",
 year         = "1995",
 title        = "Consistency checking of SCR-style requirements specifications",
 booktitle    = "RE",
 publisher    = "IEEE Computer Society",
 pages        = "56--65",
 doi          = "10.1109/ISRE.1995.512546",
)
@techreport(Heninger1978,
 author       = "Kathryn Heninger and David L. Parnas and John E. Shore and John W. Kallander.",
 year         = "1978",
 title        = "{S}oftware {R}equirements for the {A-7E} {A}ircraft, {NRL} {M}emorandum {R}eport 3876, 27 {N}ovember",
 type         = "NRL Memorandum Report 3876",
 number       = "3876",
 institution  = "Naval Research Lab.",
)
@book(Jalote2005,
 author       = "Pankaj Jalote",
 year         = "2005",
 title        = "An Integrated Approach to Software Engineering",
 series       = "Texts in Computer Science",
 publisher    = "Springer",
 doi          = "10.1007/0-387-28132-0",
)
@techreport(Pacemaker-Spec,
 author       = "McMaster University. Software Quality Research Laboratory",
 year         = "2007",
 title        = "PACEMAKER System Specification",
 type         = "Technical Report",
 institution  = "McMaster University",
)
@book(Sommerville2006,
 author       = "Ian Sommerville",
 year         = "2006",
 title        = "Software Engineering: (Update) (8th Edition) (International Computer Science)",
 publisher    = "Addison-Wesley Longman Publishing Co., Inc.",
 address      = "Boston, MA, USA",
)