An integrated formal task specification method for smart environmentsMaik WurdelAusverkauft4,3Bewachen