In the book of Gaitsgory and Rozenblyum Ch A.1 Basics of $(\infty,2)$-categories, 3.2, they define the Gray tensor product of $(\infty,2)$-categories. Here are my questions:

What is an explicit description of $\mathrm{Seq}_\bullet ([m]\otimes [n])$, where $\otimes$ is the Gray product, and $\mathrm{Seq}_\bullet: \text{2-Cat}\rightarrow(\text{1-Cat})^{\Delta^{op}}$ is their model of $(\infty,2)$-categories?

In Lurie's paper $(\infty,2)$-Categories and the Goodwillie Calculus I, he defines several models for the homotopy theory of $(\infty,2)$-categories. I was wondering whether it is possible to define Gray product on these model categories, e.g. $\mathrm{Set}_\Delta^{\mathrm{sc}}$, $\mathrm{Fun}(\Delta^{op}, \mathrm{Set}_\Delta^+)$, and whether there are explicit definitions?

Thanks in advance!