Justification of the canonical quantization of the Josephson effect

Quantum devices based on Josephson effect in superconductors are usually described by a Hamiltonian obtained by commonly used canonical quantization. However, this recipe has not been yet rigorously justified. We show that this approach is indeed correct in certain range of parameters. We find the condition of the validity of such quantization and the lowest corrections to the Josephson energy.