After req edge, req should be stable and ack is low until ack goes high between 0:11
$rose(req) |-> (req && !ack)[*0:11] ##1 (req && ack)
When ack does high, req should be high as well
!req |-> !ack
req goes low after ack goes low
$fell(req) |-> !ack