Paper on Detectable Sequential Specifications published in DISC'21