News Finding: "It's distressing because this is only one machine," Bolton says.
Paper Finding: Because this spreading function has only one independent variable (δz), it was computationally feasible to implement a lookup table for all of the possible values of δz at a resolution of 0.1 barks.
News Context: He found that each alarm could be at least partially masked when other alarms went off simultaneously, and that one high-priority alarm could be completely masked. "It's distressing because this is only one machine," Bolton says. Future plans
  
  Analyzing an alarm system, such as the one described above, can take days.
Paper Context: In particular, model checkers are unable to represent non-linear mathematical operations on model variables. Because this spreading function has only one independent variable (δz), it was computationally feasible to implement a lookup table for all of the possible values of δz at a resolution of 0.1 barks. because found this to be appropriate for tonal maskers.