"Adding uncertainty and units to quantity types in software models."

Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics