Bass-Heller-Swan Formula for the Whitehead Group of $G \times \mathbb Z$