System Analysis Examples from SITRI