@inproceedings{Krka09icse-nier,
  author = {Ivo Krka and George Edwards and Yuriy Brun and Nenad Medvidovic},
  title =
  {From
  system specifications to component behavioral models},
  booktitle = {Proceedings of the New Ideas and Emerging Results Track at the
  31st International Conference on Software Engineering (ICSE)},
  venue = {ICSE NIER},
  address = {Vancouver, Canada},
  month = {May},
  date = {16--24},
  year = {2009},
  pages = {315--318},
  doi = {10.1109/ICSE-COMPANION.2009.5071010},
  accept = {$\frac{21}{119} \approx 18\%$},

  note = {Extended and revised in\ref{Krka09fse}. A previous
  version appeared as University of Southern California, Center for Software
  Engineering technical report USC-CSSE-2008-821.
  DOI:
  10.1109/ICSE-COMPANION.2009.5071010},

  previous = {Extended and revised in "Synthesizing partial component-level
  behavior models from system specifications" in FSE 2009.  A previous version
  appeared as University of Southern California, Center for Software Engineering
  technical report USC-CSSE-2008-821.},

  abstract = {Early system specifications, such as use-case scenarios and
  properties, are rarely complete. Partial models of system-level behavior,
  derived from these specifications, have proven useful in early system
  analysis. We believe that the scope of possible analyses can be enhanced by
  component-level partial models. In this paper, we outline an algorithm for
  deriving a component-level Modal Transition System (MTS) from system-level
  scenario and property specifications. The generated MTSs capture the
  possible component implementations that (1) necessarily provide the behavior
  required by the scenarios, (2) restrict behavior forbidden by the
  properties, and (3) leave the behavior that is neither explicitly required
  nor forbidden as undefined. We discuss how these generated models can help
  discover system design flaws, support requirements elicitation, and help
  select off-the-shelf components.},
}