Unified modeling of control software and physical plants