(Translated by https://www.hiragana.jp/)
[1711.01158] HQET form factors for $B_s\to K\ellν$ decays beyond leading order