PREFIX vss: <http://automotive.eurecom.fr/vsso#>