Aiwen Lai, Sébastien Lahaye, Zhiwu Li: Initial-state detectability and initial-state opacity of unambiguous weighted automata. Autom. 127: 109490 (2021)