<!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>A Vision Towards a Method for Identifying and Mitigating Unsustainable Practices in Organisations</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Leticia Duboc</string-name>
          <email>l.duboc@salle.url.edu</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Raquel Mendonça</string-name>
          <email>raquelmendonca123@gmail.com</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jessica Salvador</string-name>
          <email>jr.salvador.br@gmail.com</email>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Aline Paes</string-name>
          <email>alinepaes@ic.uff.br</email>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Departament d'Enginyeria, La Salle - Universitat Ramon Llull</institution>
          ,
          <addr-line>Barcelona</addr-line>
          ,
          <country country="ES">Spain</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Departamento de Informática e Ciência da Computação</institution>
          ,
          <addr-line>Universidade do Estado do Rio de Janeiro, Rio de Janeiro</addr-line>
          ,
          <country country="BR">Brazil</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Departamento de Informática e Ciência da Computação</institution>
          ,
          <addr-line>Universidade do Estado do Rio de Janeiro, Rio de Janeiro</addr-line>
          ,
          <country country="BR">Brazil</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>Institute of Computing, Universidade Federal Fluminense</institution>
          ,
          <addr-line>Niterói, Rio de Janeiro</addr-line>
          ,
          <country country="BR">Brazil</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>-Sustainability is a major concern of our time. Companies can have a considerable negative impact on the environment, as their productive processes often contribute to the emission of greenhouse gases, generate toxic waste and consume natural resources. As such, they also have a great share of the responsibility towards our sustainable development. This paper presents a vision for a method to identify and mitigate unsustainable practices in business organisations. The method is inspired on the KAOS Framework, in the sense that it offers catalogues for the identification and resolution of obstacles to sustainability. The method will be complemented by a metamodel, a semi-structured language and a knowledge base, to eventually allow automation.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        The negative impact of human activities are more
noticeable than ever. Companies productive processes can often
contribute to the emission of greenhouse gases, the excessive
consumption of natural resources and the generation of
waste. Sustainability is arguably in the strategic path of
many companies, but for decades their environmental,
social and governance activities have been disconnected from
this vision. Many companies still launch ad-hoc initiatives
simply to enhance their “green credentials”, to comply with
regulations or to deal with emergencies; rather than viewing
sustainability as something with a direct impact on their
business results [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ].
      </p>
      <p>Gradually, many companies are recognising this impact
and the need to incorporate sustainability practices into
their business. A 2016 survey [2] of 1,000 CEOS from 27
industries across 103 countries found that 89% of CEOs
believe their commitment to sustainability translates into a
real impact on their industries and the lack of short-term
financial return is no longer a reason not to embrace
sustainability. Consistent with this view, 85% of them claim to have
incorporated sustainability into their business, even when
they cannot quantify the benefits. While the survey observes
that the CEOs are showing a growing understanding of
sustainable development and are making deeper commitments
to solve global challenges, it concludes that there is still
room for improvement.</p>
      <p>
        We argue that in order to contribute to our sustainable
development, companies need to understand which of their
practices negatively affect sustainability and to seek
alternatives or compensations for these practices. We will start
from the environmental dimension of sustainability [2] [
        <xref ref-type="bibr" rid="ref14">13</xref>
        ]
and, as therefore, we define the following research question:
      </p>
      <p>“How to identify practices in business operations that
negatively affect the environmental sustainability and seek
ways to mitigate these practices?”</p>
      <p>
        This paper describes a vision for a method with this very
purpose. The method is inspired by the well-known KAOS
Framework, a goal-oriented modelling technique in
Requirements Engineering [
        <xref ref-type="bibr" rid="ref16">15</xref>
        ]. Adapting the goal-obstacle analysis
in the KAOS Framework, we propose the concepts of
“sustainability goal” and “sustainability obstacle” and envision a
method that will offer catalogues for identifying and
mitigating sustainability obstacles (i.e. unsustainable practices) in
business organisations. The method will be complemented
by a sustainability metamodel, a semi-structured language
and a knowledge base to eventually support the automatic
identification and resolution of sustainability obstacles. Once
realised, this vision can advance the field of Requirements
Engineering for Sustainability as it will help companies to
identify and mitigate unsustainable goals in their systems
and operations.
      </p>
      <p>The paper is organised as follows: Section 1 motivates
our work; Section 2 summarises the most important concepts</p>
      <p>Copyright c 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
that inspired our vision; Section 3 describes our envisioned
solution; and finally, Section 4 concludes the paper.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Background</title>
      <p>This section briefly explains fundamental concepts
related to our vision: sustainability, goal-oriented requirements
engineering and sustainability models/metamodels.</p>
      <sec id="sec-2-1">
        <title>2.1. Sustainability</title>
        <p>
          Sustainability is a complex and interdisciplinary concept
that has been defined in many ways. Yet, the term can be
essentially understood as the “ability to endure” [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ] [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ].
Possibly, the most widespread related concept is the one of
sustainable development, defined as the “development that
meets the needs of the present without compromising the
ability of future generations to meet their own needs” [
          <xref ref-type="bibr" rid="ref13">12</xref>
          ].
These definitions imply that a society that is not sustainable
cannot be maintained in the long run and will cease to
function at some point in time [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ].
        </p>
        <p>
          Sustainability is composed of several dimensions. The
three best known are environmental, social and economic,
often referred as the three pillars of sustainability. However,
other dimensions start to be considered; such as the human
and the technical [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ] [
          <xref ref-type="bibr" rid="ref14">13</xref>
          ]. The paper focuses on the
environmental dimension, which addresses the effects of long-term
human activities on natural systems, including issues related
to ecosystems, climate change, food production and waste,
among others.
        </p>
        <p>However, in order for sustainability to be effectively
achieved, other dimensions must also be considered. We
believe that analogous solutions to the one described here
can be developed for the remaining dimensions.</p>
      </sec>
      <sec id="sec-2-2">
        <title>2.2. Goal-Oriented Modelling and KAOS</title>
        <p>Goal-oriented Requirements Engineering (GORE) has
emerged as an attempt to solve many of the problems
of traditional requirements engineering, including incorrect
assumptions about the environment, the little attention given
to understanding the need for a particular system and to
whether its specifications really captured the needs of
stakeholders [9]. Therefore, GORE encompasses the elicitation,
assessment, design, structuring, documentation, and analysis
of software requirements [9]. There are several approaches
and methodologies that enable its application.</p>
        <p>
          The KAOS is a well-known GORE framework, whose
acronym means "Keep All Objectives Satisfied". KAOS is
composed of a modeling language and a method for
developing software requirements. The most important KAOS
concepts for our vision are: agent, goal, obstacle, resolution
and goal-obstacle analysis. These concepts are explained
below [
          <xref ref-type="bibr" rid="ref16">15</xref>
          ]:
        </p>
        <p>An agent is an active component of the system that plays
a role in meeting a goal. Agents can be humans, devices,
software, etc; they perform operations assigned to them.
A goal is a prescriptive statement of intent that a system
must meet through the collaboration of its agents. Goals
range from high-level business goals, whose satisfaction
requires the cooperation of multiple agents (e.g., "Maximize
[Profit]", to low-level technical goals, whose satisfaction
depends on a single agent (e.g. “Achieve[Calculated Product
Tax]”).</p>
        <p>
          In a goal model, goals are organised into AND / OR
refinement structures. An AND refinement connects a goal
to a subset of goals, i.e. the goal will only be satisfied if
all its children are satisfied. An OR refinement connects
a goal with an alternative set of refinements, i.e. the goal
will be met if at least one of the refinements is met. The
KAOS Framework draws attention to the fact that often the
goal model is initially developed in an “idealized” way.
That is, it fails to consider exceptional conditions in the
application domain that may violate these goals. To build a
more realistic model, the KAOS Framework defines
goalobstacle analysis. This analysis takes a pessimistic view of
the elaborated model seeking to identify exceptional
conditions (obstacles) and ways to mitigate them (resolutions).
Therefore, an obstacle is a situation that, if occur, can
prevent a goal from being satisfied. Thus, every obstacle
generated needs to be solved in one way or another [
          <xref ref-type="bibr" rid="ref11">10</xref>
          ].
Critical obstacles are normally resolved through
countermeasure goals, while non-critical ones can be monitored
or resolved when they occur. In any case, one needs to
determine the appropriate resolutions for each obstacle.
KAOS has an obstacle resolution catalogue that can be used
to reduce or mitigate obstacles.
        </p>
      </sec>
      <sec id="sec-2-3">
        <title>2.3. Sustainability Models and Metamodels</title>
        <p>There are currently sustainability models that help to
incorporate sustainability into organisations and/or systems.
Some of them are summarised below:</p>
        <p>
          Cabot et al. [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ] advocate the use of a sustainability
taxonomy combined with goal-oriented techniques. They
explore a preliminary method for modelling and integrating
sustainability issues in business (in general) and software
projects (in particular) through the use of the i * Framework.
To do so, they explicitly represent the sustainability effect of
each business or project alternative, thus enabling
stakeholders to understand the commitments between sustainability
and other business goals and to make the best decisions.
        </p>
        <p>
          Stefan et al. [
          <xref ref-type="bibr" rid="ref15">14</xref>
          ] use goal-oriented requirement
engineering techniques to help organisations to make more
effective decisions for achieving their sustainability goals.
Their method provides systematic techniques for refining
goals into sub-goals, managing goal conflicts, identifying
and resolving obstacles to goal achievement, and exploring
and evaluating alternatives to goal achievement.
        </p>
      </sec>
      <sec id="sec-2-4">
        <title>Mahaux, Heymens and Saval [11] use requirements</title>
        <p>engineering techniques to describe requirements that seek
minimal environmental impact. Their work aims to provide
insight into how sustainability requirements can be
discovered, what existing tools or techniques can facilitate this
task, and what their limitations are in this regard.</p>
      </sec>
      <sec id="sec-2-5">
        <title>Penzenstadler and Femmer [13] present a reference</title>
        <p>model for software development projects that breaks down
sustainability into its environmental, human, social,
economic and technical dimensions. The model provides a
series of activities and relates them to the values they support
and the indicators against which they can be evaluated.</p>
        <p>Models, such as Cabot et al.’s , Mahaux et al.’s and
Stefan and Letier’s , are specific to the problem they seek to
solve and cannot be used as a reference for business
organisations in general. Penzenstadler and Femmer’s model, on
the other hand, seeks to be more generic and, although
designed for software development companies, can be adapted
to business processes in general.</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3. Envisioned Solution</title>
      <p>In order to position themselves as sustainable businesses,
companies need to routinely analyse their own practices to
identify opportunities to become more sustainable. We
envision a method to allow companies to recognise unsustainable
practices in business operations and to modify, replace or
compensate them with alternative practices.</p>
      <sec id="sec-3-1">
        <title>3.1. Underlying concepts</title>
        <p>The method is inspired by the goal-obstacle analysis of
the KAOS Framework. Therefore, we refer to the
aforementioned harmful practices as sustainability obstacles and
to the alternative practices as sustainability resolutions. We
extended the KAOS Framework to define these concepts as:</p>
        <p>A sustainability goal is a prescriptive statement of
intent that contributes to a long-term positive impact on
one or more sustainability dimensions. That is, just like in
KAOS, a goal is something that needs to be achieved, but in
this case, it also needs to have a long-term positive impact
on one or more sustainability dimensions.</p>
        <p>A sustainability goal is a prescriptive statement of
intent that contributes to a long-term positive impact
on one or more sustainability dimensions. That is,
just like in KAOS, a goal is something that needs
to be achieved, but in this case, it also needs to
have a long-term positive impact on one or more
sustainability dimensions.</p>
      </sec>
      <sec id="sec-3-2">
        <title>A sustainability obstacle is defined as a precondi</title>
        <p>tion for the non-satisfaction of a sustainability goal.
That is, an obstacle is a situation that occurs that
prevents a goal from being reached.</p>
      </sec>
      <sec id="sec-3-3">
        <title>Sustainability resolutions are alternatives that can</title>
        <p>alleviate or avoid a particular sustainability
obstacle.</p>
        <p>In a simplified example, a company may have high-level
goals such as "Maximize[Environmental sustainability]" and
lower-level goals like "Reduce[Carbon emissions from
product delivery]". In KAOS, a goal-obstacle analysis would
first negate the goal (e.g. "NOT Reduce[Carbon emissions
from product delivery])" to then find obstacles that lead
to the negated goal. So, an obstacle could be “Delivery
car consumes diesel” and a possible resolution could be:
“Achieve[Product delivery by bike]”, as shown in Figure 1.</p>
      </sec>
      <sec id="sec-3-4">
        <title>3.2. The Method</title>
        <p>Similar to KAOS, we envision a method that
identifies unsustainable practices from a sustainability obstacle
catalogue and potential mitigation strategies from a
sustainability resolution catalogue. We also envision the
semiautomation of this process through the definition of a
metamodel, a semi-structured language, rules and a knowledge
base.</p>
        <p>Therefore, the method will have the following elements,
whose relationship is represented in Figure 2. These are
described below:</p>
        <sec id="sec-3-4-1">
          <title>A sustainability metamodel will describe the basic</title>
          <p>sustainability concepts that underlie the solution.</p>
        </sec>
        <sec id="sec-3-4-2">
          <title>Therefore, it will be the basis of the sustainability</title>
          <p>
            obstacle and resolution catalogues, of the language
and rules that describes them, and of the
knowledge base. We envision that the metamodel will
have elements such as "goal", "obstacle",
"resolution", "agent", "resource", "environmental impact".
We intend to extend the work of Penzenstadler and
Femmer [
            <xref ref-type="bibr" rid="ref14">13</xref>
            ] to create the metamodel.
          </p>
        </sec>
      </sec>
      <sec id="sec-3-5">
        <title>A catalogue of generic sustainability obstacles,</title>
        <p>listing possible environmental problems resulting
from common company practices. The catalogue
will help to identify the obstacles to sustainable
business operations. At least two types of obstacles
will be covered: "pollution" and "resource scarcity".
The former will be concerned with obstacles that
contribute to different types of pollution (including
water, air and soil), while the latter refers to the
scarcity of natural resources.</p>
      </sec>
      <sec id="sec-3-6">
        <title>A catalogue of sustainability resolutions, also</title>
        <p>generic, will detail different alternatives to solve or
mitigate sustainability obstacles. The catalogue will
contain, among other things, alternative resolutions
for generic obstacles and concrete examples of such
resolutions.</p>
        <p>A semi-structured language and rules will
describe sustainability obstacles and resolutions, as
well as rules to automate the resolution search. We
envision that the language will not only formalise
the description of sustainability obstacles and
resolutions, but will also make it easier to identify
them through the use of a knowledge base. The
language will also facilitate the understanding and
the communication of sustainability obstacle and
resolutions, as everyone involved understands the
meaning of the concepts.</p>
        <p>A knowledge base will be created for different
industries to allow the automatic identification and
resolution of sustainability obstacles, possibly using
predicate logic and Prolog.</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4. Conclusion</title>
      <p>
        Sustainability has become a major concern for the
society. Large companies like Google, Microsoft, and Apple
have been criticised for not prioritising sustainable practices,
such as the use of energy efficient data centres [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. While,
companies have grown their understanding of and
commitment towards sustainability, they can still do more [2]. This
paper presents a vision for a method inspired in the
goalobstacle analysis of the KAOS Framework for identifying
and mitigating unsustainable practices in business
organisations. In order to realise this vision, we have planned
the following steps: (1) a more in-depth bibliographic study
of the KAOS framework; sustainability models/metamodels;
and recommendation systems. (2) The creation of a
datamodel for the envisioned method; (3) The development of
the obstacles and resolution catalogues; (4) the design of
a semi-structured language, rules and a recommendation
tool; and, finally, (5) the creation of a knowledge base for
the recommendation tool. We plan to develop this solution
initially for a single domain, starting with a real case study
on retail, to then extend to other domains.
      </p>
    </sec>
    <sec id="sec-5">
      <title>5. Acknowledgement</title>
      <p>The research leading to these results has received
funding from the European Union’s Horizon 2020 research
and innovation programme under the Marie
SkłodowskaCurie grant agreement No 712949 (TECNIOspring PLUS)
and from the Agency for Business Competitiveness of the
Government of Catalonia.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          <source>[1] The Oxford Dictionary of English</source>
          . Oxford University Press,
          <year>2010</year>
          . Sustainability.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          <string-name>
            <surname>Accenture.</surname>
          </string-name>
          <article-title>The un global compact-accenture strategy ceo study 2016 - agenda 2030: A window of opportunity</article-title>
          . https://www.accenture.com/ us-en/
          <article-title>insight-un-global-compact-ceo-</article-title>
          <string-name>
            <surname>study</surname>
          </string-name>
          ,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>C.</given-names>
            <surname>Becker</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Chitchyan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Duboc</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Easterbrook</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Penzenstadler</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Seyff</surname>
          </string-name>
          , and
          <string-name>
            <given-names>C.</given-names>
            <surname>Venters</surname>
          </string-name>
          .
          <article-title>Sustainability design and software: The karlskrona manifesto</article-title>
          .
          <source>In Proceedings of the 37th Int'l Conference on Software Engineering-Volume</source>
          <volume>2</volume>
          , pages
          <fpage>467</fpage>
          -
          <lpage>476</lpage>
          . IEEE Press,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>S.</given-names>
            <surname>Bonini</surname>
          </string-name>
          and
          <string-name>
            <given-names>S</given-names>
            <surname>Görner</surname>
          </string-name>
          .
          <article-title>The business of sustainability: Putting it into pratice</article-title>
          . http://www.mckinsey.
          <article-title>com/business-functions/ sustainability-and-resource-productivity/our-insights/ the-business-of-sustainability-mckinsey-global-survey-results"</article-title>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>J.</given-names>
            <surname>Cabot</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Easterbrook</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Horkoff</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Lessard</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Liaskos</surname>
          </string-name>
          , and
          <string-name>
            <given-names>J.</given-names>
            <surname>Mazon</surname>
          </string-name>
          .
          <article-title>Integrating sustainability in decision-making processes: A modelling strategy</article-title>
          .
          <source>In 2009 31st International Conference on Software Engineering - Companion</source>
          Volume, pages
          <fpage>207</fpage>
          -
          <lpage>210</lpage>
          , May
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>Robert</given-names>
            <surname>Goodland</surname>
          </string-name>
          and
          <string-name>
            <given-names>W.</given-names>
            <surname>Bank</surname>
          </string-name>
          .
          <article-title>Sustainability: Human, social, economic and environmental</article-title>
          .
          <source>Social Science</source>
          ,
          <volume>6</volume>
          :
          <fpage>220</fpage>
          -
          <lpage>225</lpage>
          ,
          <year>01 2002</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>R.</given-names>
            <surname>Heinberg</surname>
          </string-name>
          and
          <string-name>
            <given-names>D.</given-names>
            <surname>Lerch</surname>
          </string-name>
          . What is sustainability?,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8] [9]
          <string-name>
            <given-names>Greenpeace</given-names>
            <surname>International</surname>
          </string-name>
          .
          <article-title>How clean is your cloud?.</article-title>
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          http://www.greenpeace.org/international/en/publications/ Campaign-reports/Climate-Reports/
          <article-title>How-Clean-is-</article-title>
          <string-name>
            <surname>Your-Cloud</surname>
            <given-names>/</given-names>
          </string-name>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          <string-name>
            <given-names>Alexei</given-names>
            <surname>Lapouchnian</surname>
          </string-name>
          .
          <article-title>Goal-oriented requirements engineering: An overview of the current research</article-title>
          . 01
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>Emmanuel</given-names>
            <surname>Letier</surname>
          </string-name>
          .
          <article-title>Reasoning about agents in goal-oriented requirements engineering</article-title>
          .
          <source>01</source>
          <year>2001</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [11]
          <string-name>
            <surname>Martin</surname>
            <given-names>Mahaux</given-names>
          </string-name>
          , Patrick Heymans, and
          <string-name>
            <given-names>Germain</given-names>
            <surname>Saval</surname>
          </string-name>
          .
          <article-title>Discovering sustainability requirements: An experience report</article-title>
          . pages
          <fpage>19</fpage>
          -
          <lpage>33</lpage>
          ,
          <year>03 2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          <source>[12] World Commission on Environment and Development. Our common future: Report of the world commission on environment and development</source>
          .
          <source>Technical report</source>
          ,
          <year>1987</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>Birgit</given-names>
            <surname>Penzenstadler</surname>
          </string-name>
          and
          <string-name>
            <given-names>Henning</given-names>
            <surname>Femmer</surname>
          </string-name>
          .
          <article-title>A generic model for sustainability with process- and product-specific instances</article-title>
          .
          <source>In Proceedings of the 2013 Workshop on Green in/by Software Engineering</source>
          , GIBSE '
          <volume>13</volume>
          , pages
          <fpage>3</fpage>
          -
          <lpage>8</lpage>
          , New York, NY, USA,
          <year>2013</year>
          . ACM.
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>David</given-names>
            <surname>Stefan</surname>
          </string-name>
          , Emmanuel Letier,
          <string-name>
            <given-names>Mark</given-names>
            <surname>Barrett</surname>
          </string-name>
          , and
          <article-title>Mark StellaSawicki. Goal-oriented system modelling for managing environmental sustainability</article-title>
          .
          <source>07</source>
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [15]
          <string-name>
            <surname>Axel</surname>
            <given-names>van Lamsweerde. Requirements</given-names>
          </string-name>
          <article-title>Engineering: From System Goals to UML Models to Software Specifications</article-title>
          .
          <source>Wiley Publishing, 1st edition</source>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>