Text this: Performance modelling for HDB contracts /