Does anybody have any examples of properly mapped ASLs (aka bike box or advanced stop box)?

I’m a bit confused by the documentation on ASLs. Does anybody have any good examples of intersections in OpenStreetMap that contain both an ASL, a pedestrian crossing, and traffic lights at an intersection?

Here is what I’m trying to map, except it’s a larger intersection with traffic lights in each lane, and crosswalk signals crossing each road. It includes the stripes on the crosswalks and the ASL as shown in this example:
image

I believe highway=traffic_signals should be placed at the stop-line for cars, and cycleway=asl goes at the stop-line for bikes.
image

If the ASL has a highway=cyclist_waiting_aid, then that would go in between the 2 nodes:
image

I would also appreciate feedback if this is wrong, since we’ve mapped over 500 of these using this approach.

Sounds about right, mapped a few here done by that principle and motor vehicle drivers hate them. They’re’ sitting there behind you and counting and hoot just before turning green to get out of their ‘i’m always in a rush’ important way.