Peter Pepper Specification Techniques (Not Only) for Autonomous Systems. 105-117 2008 SJTU-TUB Joint Workshop https://doi.org/10.1007/978-1-4020-8889-6_12 conf/jtb/2008 db/conf/jtb/jtb2008.html#Pepper08