Modeling, Diagnostics and Process Control: Implementation in the DiaSter System