<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Embedding Requirements in Design Rationale to Deal Explicitly with User eXperience and Usability in an “intensive” Model-Based Development Approach</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Célia Martinie, Jeff Ladry, David Navarre, Philippe Palanque &amp; Marco Winckler IRIT - University Paul</institution>
          <addr-line>Sabatier 118, route de Narbonne, 31062 Toulouse Cedex 9</addr-line>
          ,
          <country country="FR">France</country>
        </aff>
      </contrib-group>
      <fpage>29</fpage>
      <lpage>32</lpage>
      <abstract>
        <p>Requirements engineering for interactive systems remains a cumbersome task still under-supported by development processes. Indeed, in the field of HCI, currently the most common practice is to perform user testing to assess the compatibility between the designed system and its intended user. Other approaches such as scenario-based design [14,16], promote a design process based on the analysis of the actual use of a technology in order to design new technologies better supporting users' tasks. However, these approaches do not provide any support for a) the definition of a set of requirements that have to be fulfilled by the system under design and b) as a consequence for assessing which of these requirements are embedded in the system and which ones have been discarded. This position paper proposes a notation and a tool for addressing precisely these two challenges. These elements are integrated within a more global approach aiming at providing notations and tools for supporting a rationalized design of interactive systems following a model-based approach.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Model-based UI design</kwd>
        <kwd>requirements</kwd>
        <kwd>interaction technique</kwd>
        <kwd>design rationale</kwd>
        <kwd>user experience</kwd>
        <kwd>usability</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        INTRODUCTION
Traceability of choices and systematic exploration of
options is a critical aspect of the development processes in
the field of safety critical systems. Some software standards
such as DO 178 B [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] (which is widely used in the
aeronautical domain) require the use of methods and
techniques for systematically exploring design options and
for increasing traceability of design decisions. However,
such standards only define what should be done and
provide no information on how such goals can be reached
by designers. Recent work in the field of software
engineering has been trying to provide solutions to that
problem and a collection of papers on that topic can be
found in [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. One of the remaining problems pointed out by
many contributions, such as chapters 1, 19 and 20, is that
requirements are poorly or even not addressed. However,
Requirements Engineering (which is the first phase of the
development process) provides input to all the subsequent
phases and must be dealt with adequately. Indeed, ESARR
(Eurocontrol Safety Regulatory Requirement) on Software
in Air Traffic Management Systems [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] explicitly requires
traceability to be addressed in respect of all software
requirements (p. 11 edition 0.2).
      </p>
      <p>
        This position paper addresses the problem of traceability of
requirements for model-based approaches. It tackles the
problem by providing an extension to a notation TEAM and
its associated tool DREAM which have previously been
presented in [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. The current contribution makes it possible
to relate design options with functional and non functional
requirements. While other approaches such as SCRAM [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ]
focus on requirements identification, our approach is
intended for supporting the traceability of such identified
requirements within interactive systems models. As an
example we show how two different interaction techniques
modeled using ICOs [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ] satisfy different functional and
non-functional requirements. While the approach could
address any kind of requirements, we put the emphasis on
Usability and User eXperience.
      </p>
      <p>Next section quickly presents the basic principles of the
TEAM notation and the extensions that have been made to
include information related to requirements. They will then
be used in the third section on a case study for comparing
the two interaction techniques with respect to requirements
providing ways of answering two fundamental questions: 1)
Which current design (among the many ones available
following a prototyping phase for instance) satisfies a given
requirement and 2) What is the exhaustive list of
requirements fulfilled by a particular design.</p>
      <p>
        EXTENSION OF THE TEAM MODEL AND NOTATION
The TEAM notation (Traceability, Exploration and
Analysis Method) and its CASE tool DREAM (Design
Rationale Environment for Argumentation and Modeling)
has been proposed in [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] to support the exploration of
options and traceability of choices during the development
process of interactive safety critical systems.
      </p>
      <p>
        TEAM notation
The TEAM notation is based on Question Option Criteria
Design Rationale notation introduced by MacLean and al.
[
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. QOC notation allows to list the available options for a
design interrogation and to trace the selection of an option
with regards to a list of relevant criteria. The TEAM
notation is an extension of QOC that enables the recording
(in an exhaustive manner) of much information produced
during design meetings. Such information can be:
      </p>
    </sec>
    <sec id="sec-2">
      <title>The questions that have been raised,</title>
      <p>The design options that have been investigated and the
ones that have been selected,</p>
    </sec>
    <sec id="sec-3">
      <title>The evaluation performed for the different options,</title>
      <p>The collection of factors that have been taken into
account and how they relate to evaluation criteria,</p>
    </sec>
    <sec id="sec-4">
      <title>The task models corresponding to options</title>
    </sec>
    <sec id="sec-5">
      <title>The resulting scenarios Besides this recording of information, an important feature is to record design decisions and relate them to selected factors.</title>
      <p>
        This notation and associated tool can then leverage the
design rationale process for several interactive applications
and help engineers in deciding to reuse or not conception
choices when facing an already experienced issue.
Adding requirements to the TEAM notation
In the earlier version, the notation did not allow to express
the needs and requirement. But this is required from the
designers’ extensive work to trace back for the selected
options what were the requirements met. In addition, this
lack of relationship prevents designers from exploiting
requirements for the generation of options and/or to take
into account requirements aspects when designing an
option. We have thus added requirements as an explicit
entity in the TEAM notation and in the DREAM tool.
Several requirements are represented in Figure 1 (grey
rectangles with a folded corner on the top left hand side)
but the content of the figure will only be described in the
next section. As far as HCI aspects are concerned this
addition is very important as it makes it possible to
explicitly represent contributing factors to usability and
User eXperience (UX) and thus assess the relevance of
design options to them. The requested usability
requirements relate to the efficiency and effectiveness
factors of the system from an ISO 9241-11 perspective [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ].
The requested user experience requirements relate to the
pragmatic quality and stimulation hedonic quality factors of
the system from a Hassenzahl perspective [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. This specific
aspect will be detailed in the next section through a case
study.
      </p>
      <p>
        CASE STUDY
The application we chose allows a user to remove a set of
icons on a computer screen. It has first been used and
presented by Maurice H. ter Beek and al. to evaluate the
“Resilience of interaction techniques to Interrupts” [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ]. In
order to represent design choice and design rationale we
consider two different interaction techniques for performing
that task. The first interaction technique only uses a
mousebased one while the second is multimodal as it uses speech
additionally. The first interaction technique is an enriched
drag and drop interaction, with which the user is able to
move an icon onto the trash icon. When the system detects
that the icon file has entered a 2 centimeters circle area
around the trash icon, the user has 2 seconds to drop the file
icon on the trash, or the trash icon will move to another
location on the display. More sophisticated techniques
could be easily modeled using our approach but this is
beyond the scope of the position paper. The second
interaction technique is a speech and click interaction where
the user utters “delete” and clicks on the icon to be deleted.
The Speech &amp; Click and enriched Drag &amp; Drop options,
among other design choices, are going to be evaluated
according to the initial requirements for the application.
One having an important impact is the one requiring the
interaction technique to be tolerant to interruptions (for
more details see [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ]).
      </p>
      <p>Presentation
An initial list of these requirements gathers functional needs
and non-functional ones (mainly Usability and User
eXperience). An extract of the set of usability requirements
for this user interface are (“u” stands for usability
requirement):</p>
      <p>Ru1-The application shall support one interruption
every 10 seconds
Ru3-The application shall allow the user to clean the
desktop in less than 30 seconds
The set of user experience requirements for this user
interface are (“ux” stands for user experience):</p>
      <p>
        Rux1-80% of the users shall find the application easy
to use
Rux2-80% of the users shall find that interacting with
this application is surprisingly different
Given this list of requirements, evaluation criteria are
defined and linked to appropriate factors. The different
questions, options and design paths with regards to elected
criteria are consigned within the DREAM design rationale
tool. Figure 1 gives an overview of the design options
linked to requirements and evaluation criteria. Due to space
constraints, the schema has been shrunk, but several display
techniques for the tool are currently being studied for big
and complex diagrams. Rectangles show the requirements,
rounded-shape squares contain the design questions that
have been asked, right-angle triangles on the right side
describe factors and the other triangles describe criteria.
Each question has several possible options to address the
issue. For instance, as far as the interruption is concerned
(“How to display interruptions?”), the interruption can be
displayed as a “pop-up window” or as a “small icon
blinking” on one side of the display. In the TEAM mode,
the connection between these options and the four criteria
“File deletion error rate”, “Time to clean desktop”,
“Perceived manipulability” and “Perceived originality”
represents the relative impact of the option. The strong link
between the option “small icon blinking” and the “time to
clean desktop” criterion shows that it favors that criterion.
The right-hand side of the diagram makes explicit the
relationship between criteria and factors. Factors
correspond to desired characteristics of the system namely
“Usability” and “User eXperience”. They are in turn
decomposed into sub-factors; two out of the three
classical ones for usability i.e. “effectiveness” and
“efficiency” and two for “User eXperience” i.e.
“Pragmatic quality” and “Hedonic Quality Stimulation”.
Design options modeling
One of the issues that remain to be solved is how to assess
the options with respect to the connected criteria. For
instance, how to identify if the option “Mouse and
Speech” for the interaction technique is better than the
option “Enriched Drag and Drop” with respect to the
criterion “Time to clean desktop”. In order to address that
problem we propose to apply a model-based approach and
to define for each option a detailed behavioral description.
For that purpose we use the ICO notation [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ], but other
ones such as [2 or 6] would also be applicable. ICO
notation stands for Interactive Cooperative Objects and is
a formal notation to describe interactive systems. It is
based on object-oriented design pattern and high-level
Petri nets. The PetShop associated tool [1 and 13] allows
editing the ICO model and prototyping the associated
interface at the same time (this aspect is detailed in [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ]).
The DREAM diagram shows that a third design option,
speech only, had initially been suggested and that this
option does not fulfill all the non-functional requirements,
even before having prototyped or modeled it. The
modeling of an option has a cost indeed and the gain of
this approach is effective if the number of modeled and
prototyped options is balanced with the modeling and
prototyping cost. To help in comparing the two remaining
interaction techniques, models of these interactions have
been built and embedded in the DREAM diagram as
indicated by the paperclip symbol at the bottom-right of
each option. ICO models of the two interaction techniques
are built and assessed (Enriched Drag and Drop technique
ICO model detailed in Figure 2), with respect to both
“user experience” and “usability” factors. These models
are then verified and prototyped by means of PetShop
tool. Effectiveness can be verified and performance
evaluation technique can be used to assess time
performance for instance. Due to space constraints this is
not detailed here. Usability tests can be performed on the
prototypes with the building of the application while
performance evaluation can be done on the model only.
For the user experience aspects, using the prototyped
options, an evaluation has been performed with
AttrakDiff tool [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] to rate the selected criteria. Paperclip
symbols on “perceived manipulability” and “perceived
originality” criteria represent the fact that such results are
stored in the design rationale model. Furthermore, to help
in checking this coverage and to ensure that one or more
evaluation criteria are not missing, the tool allows linking
the requirements to criteria.
      </p>
      <p>Interpretation and benefits
Once the design options have been assessed, DREAM
model makes it easy to perceive which one (if any) has
received the best evaluation.
In addition it makes it explicit for this option which
requirements it fulfils. Coming back to the importance of
requirement engineering, DREAM diagram is a critical
help to argue about, to select an option as well as to trace
back the rationale underlying this selection. In our
example, we see at a glance that the “Mouse and Speech”
option is the best rated and that it fulfills the entire set of
non-functional requirements. The final choice then
belongs to the various stakeholders who have additionally
direct access to the related requirements which, in turn,
cannot be ignored. Furthermore, all the necessary
information about the designed interactive system can be
gathered and synthesized in one diagram. From a designer
perspective, it can help to share conception ideas and
materials. From another participant involved in the
implementation and/or deployment process, it can be seen
as an entry point to the designed system.</p>
      <p>CONCLUSION
This position paper argues that various models are useful
for the design of interactive systems as they can
complement each other and correspond to the needs of
different stakeholders. We have presented a model-based
approach for description within and single diagram
requirements, design questions, design options, criteria
and factors. This structured set of information supports
different activities such as requirements traceability,
design choices decision support and the traceability of
design choices decisions. We have also presented how
detailed behavioral description of advanced interaction
techniques such as “Enriched drag and drop” or “speech
and click” can be integrated within that framework to
provide additional benefits. Of course such “intensive”
model-based approaches require tools to support model
construction, analysis, simulation, interpretation and
reuse. The CASE tools supporting TEAM and ICO
notation are publicly available [3 and 13] and are a corner
stone of the applicability of the approach.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Bastide</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Navarre</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          , and
          <string-name>
            <surname>Palanque</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          <year>2002</year>
          .
          <article-title>A model-based tool for interactive prototyping of highly interactive applications</article-title>
          .
          <source>In CHI '02 Extended Abstracts on Human Factors in Computing Systems (Minneapolis</source>
          , Minnesota, USA, April
          <volume>20</volume>
          -
          <issue>25</issue>
          ,
          <year>2002</year>
          ).
          <source>CHI '02. ACM</source>
          , New York, NY, pp.
          <fpage>516</fpage>
          -
          <lpage>517</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Coninx</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cuppens</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>De Boeck</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          &amp;
          <string-name>
            <surname>Raymaekers</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <year>2007</year>
          ,
          <article-title>Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT</article-title>
          .
          <source>In: Interactive Systems: Design</source>
          , Specification, and
          <string-name>
            <surname>Verification</surname>
          </string-name>
          .
          <year>2007</year>
          , Springr Verlag LNCS, pp.
          <fpage>95</fpage>
          -
          <lpage>108</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3. DREAM web site: Internet Resource http://ihcs.irit.fr/dream/index.html ,
          <source>accessed Jan</source>
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Dutoit</surname>
            ,
            <given-names>A.H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>McCall</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mistrík</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Paech</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <source>Rationale Management in Software Engineering: Concepts and Techniques</source>
          , Rationale Management in Software Engineering, p.
          <fpage>1</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          <article-title>5. ESARR 6. EUROCONTROL Safety Regulatory Requirement</article-title>
          .
          <source>Software in ATM Systems. Edition 1</source>
          .0. http://www.eurocontrol.int/src/public/standard_page/esarr6.html (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Hassenzahl</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <article-title>The thing and I: understanding the relationship between user and product</article-title>
          . In M.Blythe,
          <string-name>
            <given-names>C.</given-names>
            <surname>Overbeeke</surname>
          </string-name>
          , AF Monk, &amp; PC Wright (Eds.), Funology: From Usability to Enjoy-ment. Dordrecht: Kluwer,
          <year>2003</year>
          , pp.
          <fpage>31</fpage>
          -
          <lpage>42</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Hassenzahl</surname>
          </string-name>
          , M. - Internet Resource http://www. attrakdiff.de,
          <source>accessed Jan</source>
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <source>ISO DIS 9241-11</source>
          (
          <year>1996</year>
          )
          <article-title>Ergonomic requirements for office work with visual display terminals (VDT) - Part 11 Guidance on usability</article-title>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Lacaze</surname>
            ,
            <given-names>X.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Palanque</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Barboni</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bastide</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Navarre</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>From</surname>
            <given-names>DREAM</given-names>
          </string-name>
          to Reality :
          <article-title>Specificities of Interactive Systems Development With Respect to Rationale Management, Rationale Management in Software Engineering</article-title>
          , pp.
          <fpage>155</fpage>
          -
          <lpage>170</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10. MacLean, Allan; Young, Richard M.;
          <string-name>
            <surname>Bellotti</surname>
          </string-name>
          ,
          <string-name>
            <surname>Victoria M. E.</surname>
          </string-name>
          , and Moran, Thomas P. Questions, Options, and
          <article-title>Criteria: Elements of Design Space Analysis</article-title>
          . Lawrence Erlbaum Associates;
          <year>1991</year>
          ; 6, pp.
          <fpage>201</fpage>
          -
          <lpage>250</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Navarre</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Palanque</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ladry</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          , and
          <string-name>
            <surname>Barboni</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          <year>2009</year>
          .
          <article-title>ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability</article-title>
          .
          <source>ACM Trans. Comput.-Hum. Interact</source>
          .
          <volume>16</volume>
          ,
          <issue>4</issue>
          (Nov.
          <year>2009</year>
          ), pp.
          <fpage>1</fpage>
          -
          <lpage>56</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Palanque</surname>
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ladry</surname>
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Navarre</surname>
            <given-names>D.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Barboni E.</surname>
          </string-name>
          <article-title>High-Fidelity Prototyping of Interactive Systems can be Formal too 13th International Conference on Human-Computer Interaction (HCI International 2009</article-title>
          ) San Diego, CA, USA.
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13. PetShop web site: Internet Resource http://ihcs.irit.fr/petshop, accessed
          <year>Jan 2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Rosson</surname>
            ,
            <given-names>M.B.</given-names>
          </string-name>
          &amp;
          <string-name>
            <surname>Carroll</surname>
            ,
            <given-names>J.M.</given-names>
          </string-name>
          <year>2002</year>
          . Usability Engineering:
          <article-title>Scenario-Based Development of Human-Computer Interaction</article-title>
          . San Francisco: Morgan Kaufmann.
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>RTCA</surname>
          </string-name>
          .
          <source>Software Considerations in Airborne Systems and Equipment Certification, DO-178B RTCA</source>
          , Washington D.C.
          <year>1992</year>
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Sutcliffe</surname>
            <given-names>A.</given-names>
          </string-name>
          &amp;
          <string-name>
            <surname>Ryan</surname>
            <given-names>M.</given-names>
          </string-name>
          <article-title>Experience with SCRAM, a SCenario Requirements Analysis Method</article-title>
          ,
          <source>in Proceedings of the 3rd International Conference on Requirements Engineering:</source>
          Putting Requirements Engineering to Practice,
          <year>April 1998</year>
          , pp.
          <fpage>164</fpage>
          -
          <lpage>173</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <given-names>Ter</given-names>
            <surname>Beek</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. H.</given-names>
            ,
            <surname>Faconti</surname>
          </string-name>
          <string-name>
            <given-names>G. P.</given-names>
            ,
            <surname>Massink</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            ,
            <surname>Palanque</surname>
          </string-name>
          <string-name>
            <given-names>P.</given-names>
            ,
            <surname>Winckler</surname>
          </string-name>
          <string-name>
            <surname>M.</surname>
          </string-name>
          <article-title>Resilience of interaction techniques to Interrupts: A Formal Model-Based Approach</article-title>
          .
          <source>In proc. of Human-Computer Interaction (INTERACT</source>
          <year>2009</year>
          ), Uppsala, Sweeden, Vol.
          <volume>1</volume>
          , Springer-Verlag,
          <source>LNCS 5726</source>
          , p.
          <fpage>494</fpage>
          -
          <lpage>509</lpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>