selected publications

• chapter

  • Modelling an E-Voting Domain for the Formal Development of a Software Product Line: When the Implicit Should Be Made Explicit.  Springer eBooks. 3-18. 2020
  • Feature Interactions in a Software Product Line for E-voting.  IOS Press eBooks. 2009

• conference paper

  • Formalising the Requirements of an E-Voting Software Product Line Using Event-B.  . 78-84. 2018
  • Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements.  . 58-64. 2008
  • A tool for software quality.  . 144-150. 2003