Formalizing and leveraging qualitative observations of system behavior in model development