Gravar-mail: Безперервні динамічні моделі надійності програмного забезпечення інформаційно-управляючих систем спеціального призначення