The Reliability Model for the FPGA-Based Instrument and Control System Using Colored Petri Net