Paul GastinBenjamin MonmegeA unifying survey on weighted logics and weighted automata - Core weighted logic: minimal and versatile specification of quantitative properties.1047-1065201822Soft Comput.4https://doi.org/10.1007/s00500-015-1952-6db/journals/soco/soco22.html#GastinM18