Stav dette: A technique for software and systems design /