TY - JOUR T1 - Satisfaction of PLC timing constraints JO - HIGH INTEGR SYST PY - 1994/01/01 AU - Tindell K AU - Clark JA ED - Y2 - 2024/12/22 ER -