Contract Specification of Pipelined Designs Alexander Kamkin Institute for System Programming of RAS [email protected].